Name Last modified Size Description Parent Directory - 00index.txt 22-Jul-1994 03:49 78 diskt2 22-Jul-1994 03:49 155 texlibmc.tgz 22-Jul-1994 03:49 1.0M GZIP compressed tar archive
Name Last modified Size Description![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
00index.txt 22-Jul-1994 03:49 78
![[ ]](/icons/unknown.gif)
diskt2 22-Jul-1994 03:49 155
![[ ]](/icons/compressed.gif)
texlibmc.tgz 22-Jul-1994 03:49 1.0M GZIP compressed tar archive