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