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