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