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