../ 00index.txt 22-Jul-1994 00:07 234 CONTRIB 22-Jul-1994 00:07 5883 dvgt.tar.gz 22-Jul-1994 00:07 157K makeindx.tar.gz 22-Jul-1994 00:07 297K mfinputs.tar.gz 22-Jul-1994 00:07 877K misctex.tar.gz 22-Jul-1994 00:07 21K tfmfiles.tar.gz 22-Jul-1994 00:07 166K web2c1.tar.gz 22-Jul-1994 00:07 1M web2c2.tar.gz 22-Jul-1994 00:07 1M