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