Name                    Last modified       Size  Description

 Parent Directory        11-Nov-2009 10:37      -  
 dbtex.awk               07-Apr-1991 19:00     7k  
 dbtex.dvi               19-Dec-1991 19:00    72k  
 dbtex.exe               11-Feb-1991 19:00   124k  
 dbtex.tex               19-Dec-1991 19:00    38k  
 dbtexsrc.tex            07-Apr-1991 19:00    11k  
 germtex.tbl             07-Apr-1991 19:00     1k  
 read.me                 19-Dec-1991 19:00     1k  
 refman.sty              07-Apr-1991 19:00    21k  
 tex.tbl                 07-Apr-1991 19:00     1k  
 tgrindn.sty             07-Apr-1991 19:00     6k  
 verbatim.sty            07-Apr-1991 19:00     2k  

---