Name Last modified Size Description
Parent Directory - 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 00index.txt 22-Jul-1994 03:49 130 texnfss2.tgz 22-Jul-1994 03:49 422K GZIP compressed tar archive