../ src/ 27-Oct-2023 19:35 - copying 14-Oct-1994 00:00 12737 copying.dj 14-Oct-1994 00:00 2648 go32.exe 14-Oct-1994 00:00 49646 read_dvx.tex 14-Oct-1994 00:00 3205 read_dvx.txt 14-Oct-1994 00:00 3253 readme 14-Oct-1994 00:00 12142 texfonts.sub 14-Oct-1994 00:00 1302 xdvi.exe 14-Oct-1994 00:00 124932 xdvi.man 14-Oct-1994 00:00 11371