summaryrefslogtreecommitdiff
path: root/systems/knuth/dist/mf
ModeNameSize
-rw-r--r--mf.web918634logplain
-rw-r--r--mfbook.tex942014logplain
-rw-r--r--trap.fot1710logplain
-rw-r--r--trap.log121713logplain
-rw-r--r--trap.mf11899logplain
-rw-r--r--trap.pl10388logplain
-rw-r--r--trap.typ4552logplain
-rw-r--r--trapin.log4592logplain
-rw-r--r--trapman.tex18248logplain