Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - README 2005-06-18 22:16 3.8K copsn10.afm 2005-06-18 22:17 10K copsn10.pfb 2005-06-18 22:17 34K copsn10.tfm 2005-06-18 22:17 540 oldprsn.dtx 2005-06-18 22:16 63K oldprsn.ins 2005-06-18 22:16 3.0K oldprsn.pdf 2005-06-18 22:16 141K tryoldprsn.pdf 2005-06-18 22:16 74K tryoldprsn.tex 2005-06-18 22:16 5.1K