Name Last modified Size Description
Parent Directory - wtexinfo.txt 1989-12-07 00:00 12K wtexinfo.tex 1989-12-07 00:00 11K wtexinfo.dvi 1989-12-07 00:00 18K tex_dbs.txt 1988-05-07 00:00 2.4K tex.dfv 1988-05-07 00:00 768 tex.dbs 1988-05-07 00:00 1.3K word2tex.pas 1988-04-27 00:00 4.9K word2tex.exe 1988-04-27 00:00 4.8K