Name Last modified Size Description Parent Directory - 00index.txt 1994-07-21 18:49 78 diskt2 1994-07-21 18:49 155 texlibmc.tgz 1994-07-21 18:49 1.0M