Name Last modified Size Description Parent Directory - texnfss2.tgz 1994-07-22 02:49 422K texdoc.tgz 1994-07-22 02:49 79K texcmpk.tgz 1994-07-22 02:49 676K diskt3 1994-07-22 02:49 372 00index.txt 1994-07-22 02:49 130