| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| README | 3085 | 2005-Jul-22 09:00 | |
| proto10.afm | 10573 | 2005-Nov-12 11:22 | |
| proto10.pfb | 27907 | 2005-Nov-12 11:22 | |
| proto10.tfm | 500 | 2005-Jul-22 09:00 | |
| protosem.dtx | 45047 | 2005-Jul-22 09:00 | |
| protosem.ins | 3399 | 2005-Jul-22 09:00 | |
| protosem.pdf | 137005 | 2005-Jul-22 09:00 | |
| tryprotosem.pdf | 72113 | 2005-Jul-22 09:00 | |
| tryprotosem.tex | 4752 | 2005-Mar-29 12:33 | |