../ dbtex.awk 08-Apr-1991 05:30 7155 dbtex.dvi 20-Dec-1991 05:30 72K dbtex.exe 12-Feb-1991 05:30 124K dbtex.tex 20-Dec-1991 05:30 38K dbtexsrc.tex 08-Apr-1991 05:30 11K germtex.tbl 08-Apr-1991 05:30 133 read.me 20-Dec-1991 05:30 855 refman.sty 08-Apr-1991 05:30 21K tex.tbl 08-Apr-1991 05:30 173 tgrindn.sty 08-Apr-1991 05:30 5740 verbatim.sty 08-Apr-1991 05:30 1673