| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| afm/ | - | 2018-May-11 16:40 |
| doc/ | - | 2018-May-11 16:40 |
| map/ | - | 2018-May-11 16:40 |
| mf/ | - | 2018-May-11 16:40 |
| tfm/ | - | 2018-May-11 16:40 |
| type1/ | - | 2018-May-11 16:40 |
| CHANGES | 4141 | 2018-May-11 16:40 |
| README | 1024 | 2018-May-11 16:40 |
| dozenal.dtx | 43818 | 2018-May-11 16:40 |
| dozenal.ins | 2234 | 2018-May-11 16:40 |
| dozenalfilelist.txt | 1592 | 2018-May-11 16:40 |
| lppl.txt | 19106 | 2018-May-11 16:40 |