../ README 22-Jul-2005 00:00 3085 proto10.afm 12-Nov-2005 02:22 10K proto10.pfb 12-Nov-2005 02:22 27K proto10.tfm 22-Jul-2005 00:00 500 protosem.dtx 22-Jul-2005 00:00 44K protosem.ins 22-Jul-2005 00:00 3399 protosem.pdf 22-Jul-2005 00:00 134K tryprotosem.pdf 22-Jul-2005 00:00 70K tryprotosem.tex 29-Mar-2005 03:33 4752