| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| tex.dbs | 1.3 KB | 1988-05-07 00:00 |
| tex.dfv | 768 B | 1988-05-07 00:00 |
| tex_dbs.txt | 2.4 KB | 1988-05-07 00:00 |
| word2tex.exe | 4.8 KB | 1988-04-27 00:00 |
| word2tex.pas | 4.9 KB | 1988-04-27 00:00 |
| wtexinfo.dvi | 17.8 KB | 1989-12-07 00:00 |
| wtexinfo.tex | 10.8 KB | 1989-12-07 00:00 |
| wtexinfo.txt | 11.5 KB | 1989-12-07 00:00 |
8 items, 54.3 KB total