--rwxrwxr-x M 53 gabidiaz sys 1745 Nov 24 2002 bigint.t --rwxrwxr-x M 53 gabidiaz sys 1917 Nov 24 2002 bignum.t --rwxrwxr-x M 53 gabidiaz sys 1748 Nov 24 2002 bigrat.t --rwxrwxr-x M 53 gabidiaz sys 418 Nov 24 2002 option_a.t --rwxrwxr-x M 53 gabidiaz sys 740 Nov 24 2002 option_l.t --rwxrwxr-x M 53 bootes sys 313 Nov 24 2002 option_p.t Go to parent directory