Name Last modified Size Description
Parent Directory -
dvi.exe 25-Nov-1992 01:00 214K
dvilw.exe 25-Nov-1992 01:00 180K
dvilw.ps 27-Oct-1992 01:00 11K
bb.ps 27-Oct-1992 01:00 5.3K
dvilw.map 27-Oct-1992 01:00 3.8K
makepk.bat 27-Oct-1992 01:00 1.4K
makegf.bat 27-Oct-1992 01:00 949
dvi.opt 25-Nov-1992 01:00 244
README 27-Oct-1992 01:00 133
p6h.opt 25-Nov-1992 01:00 125
p6l.opt 25-Nov-1992 01:00 124
dvihplj.opt 25-Nov-1992 01:00 124
dvilw.opt 25-Nov-1992 01:00 95
Apache/2.2 Server at ftp.ntua.gr Port 80