Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
proto10.pfb 2005-11-11 20:22 27K
proto10.afm 2005-11-11 20:22 10K
![[ ]](/icons/layout.gif){kind=icon}
tryprotosem.pdf 2005-07-21 19:00 70K
protosem.pdf 2005-07-21 19:00 134K
protosem.ins 2005-07-21 19:00 3.3K
protosem.dtx 2005-07-21 19:00 44K
proto10.tfm 2005-07-21 19:00 500
![[ ]](/icons/hand.right.gif){kind=icon}
README 2005-07-21 19:00 3.0K
![[TXT]](/icons/text.gif){kind=icon}
tryprotosem.tex 2005-03-28 21:33 4.6K