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