Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - protosem.pdf 2005-07-22 02:00 134K tryprotosem.pdf 2005-07-22 02:00 70K protosem.dtx 2005-07-22 02:00 44K proto10.pfb 2005-11-12 03:22 27K proto10.afm 2005-11-12 03:22 10K tryprotosem.tex 2005-03-29 05:33 4.6K protosem.ins 2005-07-22 02:00 3.3K README 2005-07-22 02:00 3.0K proto10.tfm 2005-07-22 02:00 500