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