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