| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| src/ | - | 2023-Oct-27 05:45 |
| copying | 12737 | 1994-Oct-14 00:00 |
| copying.dj | 2648 | 1994-Oct-14 00:00 |
| go32.exe | 49646 | 1994-Oct-14 00:00 |
| read_dvx.tex | 3205 | 1994-Oct-14 00:00 |
| read_dvx.txt | 3253 | 1994-Oct-14 00:00 |
| readme | 12142 | 1994-Oct-14 00:00 |
| texfonts.sub | 1302 | 1994-Oct-14 00:00 |
| xdvi.exe | 124932 | 1994-Oct-14 00:00 |
| xdvi.man | 11371 | 1994-Oct-14 00:00 |