![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | 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 |
![[ ]](/theme/icons/pdf.png){kind=icon} | protosem.pdf | 2005-07-22 02:00 | 134K |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2005-07-22 02:00 | 3.0K |
| tryprotosem.pdf | 2005-07-22 02:00 | 70K |
![[TXT]](/theme/icons/doc.png){kind=icon} | tryprotosem.tex | 2005-03-29 05:33 | 4.6K |