| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| src/ | - | 27-Oct-2023 05:45 |
| copying | 12K | 14-Oct-1994 00:00 |
| copying.dj | 2648 | 14-Oct-1994 00:00 |
| go32.exe | 48K | 14-Oct-1994 00:00 |
| read_dvx.tex | 3205 | 14-Oct-1994 00:00 |
| read_dvx.txt | 3253 | 14-Oct-1994 00:00 |
| readme | 12K | 14-Oct-1994 00:00 |
| texfonts.sub | 1302 | 14-Oct-1994 00:00 |
| xdvi.exe | 122K | 14-Oct-1994 00:00 |
| xdvi.man | 11K | 14-Oct-1994 00:00 |