Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
afm/ | 2018-05-11 18:40 | - | ||
doc/ | 2018-05-11 18:40 | - | ||
map/ | 2018-05-11 18:40 | - | ||
mf/ | 2018-05-11 18:40 | - | ||
tfm/ | 2018-05-11 18:40 | - | ||
type1/ | 2018-05-11 18:40 | - | ||
dozenalfilelist.txt | 2018-05-11 18:40 | 1.6K | ||
dozenal.ins | 2018-05-11 18:40 | 2.2K | ||
CHANGES | 2018-05-11 18:40 | 4.0K | ||
lppl.txt | 2018-05-11 18:40 | 19K | ||
dozenal.dtx | 2018-05-11 18:40 | 43K |