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