Name Last modified Size Description Parent Directory - diskt2 22-Jul-1994 03:49 155 texlibmc.tgz 22-Jul-1994 03:49 1.0M GZIP compressed tar archive 00index.txt 22-Jul-1994 03:49 78