![[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} | copsn10.afm | 2005-06-18 23:17 | 10K |
| copsn10.pfb | 2005-06-18 23:17 | 34K |
| copsn10.tfm | 2005-06-18 23:17 | 540 |
| oldprsn.dtx | 2005-06-18 23:16 | 63K |
| oldprsn.ins | 2005-06-18 23:16 | 3.0K |
![[ ]](/theme/icons/pdf.png){kind=icon} | oldprsn.pdf | 2005-06-18 23:16 | 141K |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2005-06-18 23:16 | 3.8K |
| tryoldprsn.pdf | 2005-06-18 23:16 | 74K |
![[TXT]](/theme/icons/doc.png){kind=icon} | tryoldprsn.tex | 2005-06-18 23:16 | 5.1K |