summaryrefslogtreecommitdiff
path: root/macros/generic/proofs
ModeNameSize
d---------taylor252logplain