summaryrefslogtreecommitdiff
path: root/obsolete/macros/generic
ModeNameSize
d---------diagrams / barr31logplain
d---------proofs / taylor33logplain