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