Name Last modified Size
Parent Directory - dvilw.opt 1992-11-25 08:00 95 dvihplj.opt 1992-11-25 08:00 124 p6l.opt 1992-11-25 08:00 124 p6h.opt 1992-11-25 08:00 125 dvi.opt 1992-11-25 08:00 244 makegf.bat 1992-10-27 08:00 949 makepk.bat 1992-10-27 08:00 1.4K dvilw.map 1992-10-27 08:00 3.8K bb.ps 1992-10-27 08:00 5.3K dvilw.ps 1992-10-27 08:00 11K dvilw.exe 1992-11-25 08:00 180K dvi.exe 1992-11-25 08:00 214K