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