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