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