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