Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 05-Dec-2002 10:39 -
![[DIR]](/icons/folder.gif){kind=icon}
src/ 05-Dec-2002 10:42 -
![[ ]](/icons/unknown.gif){kind=icon}
xdvi.man 14-Oct-1994 00:00 11k
![[ ]](/icons/binary.gif){kind=icon}
xdvi.exe 14-Oct-1994 00:00 122k
texfonts.sub 14-Oct-1994 00:00 1k
readme 14-Oct-1994 00:00 12k
![[TXT]](/icons/text.gif){kind=icon}
read_dvx.txt 14-Oct-1994 00:00 3k
read_dvx.tex 14-Oct-1994 00:00 3k
go32.exe 14-Oct-1994 00:00 48k
copying.dj 14-Oct-1994 00:00 3k
copying 14-Oct-1994 00:00 12k