File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
doc/ | - | May 11, 2018 |
map/ | - | May 11, 2018 |
type1/ | - | May 11, 2018 |
afm/ | - | May 11, 2018 |
tfm/ | - | May 11, 2018 |
mf/ | - | May 11, 2018 |
CHANGES | 4.0 KiB | May 11, 2018 |
dozenalfilelist.txt | 1.6 KiB | May 11, 2018 |
README | 1.0 KiB | May 11, 2018 |
dozenal.dtx | 42.8 KiB | May 11, 2018 |
dozenal.ins | 2.2 KiB | May 11, 2018 |
lppl.txt | 18.7 KiB | May 11, 2018 |