../ dbtex.awk 08-Apr-1991 07:00 7155 dbtex.dvi 20-Dec-1991 07:00 73432 dbtex.exe 12-Feb-1991 07:00 127052 dbtex.tex 20-Dec-1991 07:00 38827 dbtexsrc.tex 08-Apr-1991 07:00 11647 germtex.tbl 08-Apr-1991 07:00 133 read.me 20-Dec-1991 07:00 855 refman.sty 08-Apr-1991 07:00 21544 tex.tbl 08-Apr-1991 07:00 173 tgrindn.sty 08-Apr-1991 07:00 5740 verbatim.sty 08-Apr-1991 07:00 1673