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