../ tex.dbs 08-May-1988 00:00 1378 tex.dfv 08-May-1988 00:00 768 tex_dbs.txt 08-May-1988 00:00 2451 word2tex.exe 28-Apr-1988 00:00 4896 word2tex.pas 28-Apr-1988 00:00 5068 wtexinfo.dvi 09-Dec-1989 00:00 18176 wtexinfo.tex 09-Dec-1989 00:00 11070 wtexinfo.txt 09-Dec-1989 00:00 11776