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