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