Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - oldprsn.pdf 2005-06-18 23:16 141K tryoldprsn.pdf 2005-06-18 23:16 74K oldprsn.dtx 2005-06-18 23:16 63K copsn10.pfb 2005-06-18 23:17 34K copsn10.afm 2005-06-18 23:17 10K tryoldprsn.tex 2005-06-18 23:16 5.1K README 2005-06-18 23:16 3.8K oldprsn.ins 2005-06-18 23:16 3.0K copsn10.tfm 2005-06-18 23:17 540