Name Last modified Size Description
Parent Directory - 00index.txt 22-Jul-1994 03:49 130 diskt3 22-Jul-1994 03:49 372 texcmpk.tgz 22-Jul-1994 03:49 676K GZIP compressed tar archive texdoc.tgz 22-Jul-1994 03:49 79K GZIP compressed tar archive texnfss2.tgz 22-Jul-1994 03:49 422K GZIP compressed tar archive