../ tex.dbs 07-May-1988 08:00 1378 tex.dfv 07-May-1988 08:00 768 tex_dbs.txt 07-May-1988 08:00 2451 word2tex.exe 27-Apr-1988 08:00 4896 word2tex.pas 27-Apr-1988 08:00 5068 wtexinfo.dvi 07-Dec-1989 08:00 18K wtexinfo.tex 07-Dec-1989 08:00 11K wtexinfo.txt 07-Dec-1989 08:00 12K