summaryrefslogtreecommitdiff
path: root/obsolete/macros/generic/proofs
ModeNameSize
d---------taylor84logplain