Name Last modified Size Description
Parent Directory - texbin.tgz 1994-07-22 02:49 710K tagfile.pat 1994-07-22 02:49 153 tagfile.org 1994-07-22 02:49 153 tagfile 1994-07-22 02:49 153 readme.tex 1994-07-22 02:49 2.7K manifest.gz 1994-07-22 02:49 7.0K maketag 1994-07-22 02:49 1.2K gentle.tgz 1994-07-22 02:49 59K dvi2xx.tgz 1994-07-22 02:49 104K diskt1 1994-07-22 02:49 1.0K 00index.txt 1994-07-22 02:49 286