../ 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 18176 wtexinfo.tex 07-Dec-1989 00:00 11070 wtexinfo.txt 07-Dec-1989 00:00 11776