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