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