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