../ 00index.txt 22-Jul-1994 01:46 338 diskap1 22-Jul-1994 01:46 2272 english.tgz 22-Jul-1994 01:46 366K ispell.tgz 22-Jul-1994 01:46 236K jove.tgz 22-Jul-1994 01:46 124K maketag 22-Jul-1994 01:46 2439 man.tgz 22-Jul-1994 01:46 420K tagfile 22-Jul-1994 01:46 1948 tagfile.org 22-Jul-1994 01:46 1948 tagfile.pat 22-Jul-1994 01:46 392 termbin.tgz 22-Jul-1994 01:46 53K termnet.tgz 22-Jul-1994 01:46 83K termsrc.tgz 22-Jul-1994 01:46 95K