| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| tex.dbs | 1378 | 1988-May-07 09:00 | |
| tex.dfv | 768 | 1988-May-07 09:00 | |
| tex_dbs.txt | 2451 | 1988-May-07 09:00 | |
| word2tex.exe | 4896 | 1988-Apr-27 09:00 | |
| word2tex.pas | 5068 | 1988-Apr-27 09:00 | |
| wtexinfo.dvi | 18176 | 1989-Dec-07 09:00 | |
| wtexinfo.tex | 11070 | 1989-Dec-07 09:00 | |
| wtexinfo.txt | 11776 | 1989-Dec-07 09:00 | |