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