Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
tex.dbs 07-May-1988 01:00 1.3K
tex.dfv 07-May-1988 01:00 768
![[TXT]](/icons/text.gif){kind=icon}
tex_dbs.txt 07-May-1988 01:00 2.4K
![[ ]](/icons/binary.gif){kind=icon}
word2tex.exe 27-Apr-1988 01:00 4.8K
word2tex.pas 27-Apr-1988 01:00 4.9K
![[ ]](/icons/dvi.gif){kind=icon}
wtexinfo.dvi 07-Dec-1989 00:00 18K
wtexinfo.tex 07-Dec-1989 00:00 11K
wtexinfo.txt 07-Dec-1989 00:00 12K