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