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