Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
src/ 2023-10-27 14:45 -
![[ ]](/icons/unknown.gif){kind=icon}
copying 1994-10-14 09:00 12K
copying.dj 1994-10-14 09:00 2.6K
![[ ]](/icons/binary.gif){kind=icon}
go32.exe 1994-10-14 09:00 48K
![[ ]](/icons/tex.gif){kind=icon}
read_dvx.tex 1994-10-14 09:00 3.1K
![[TXT]](/icons/text.gif){kind=icon}
read_dvx.txt 1994-10-14 09:00 3.2K
readme 1994-10-14 09:00 12K
texfonts.sub 1994-10-14 09:00 1.3K
xdvi.exe 1994-10-14 09:00 122K
xdvi.man 1994-10-14 09:00 11K