Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
dvistd0.pdf 2004-08-18 11:14 267K
dvistd0.dvi 2004-08-18 11:12 138K
dvistd0.tex 1991-08-09 01:00 28K
pk.tex 1991-08-08 01:00 26K
dvi.tex 1991-08-08 01:00 23K
fileform.sty 1991-08-08 01:00 18K
gf.tex 1991-08-08 01:00 17K
tfm.tex 1991-08-08 01:00 16K