aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE1083logplain
-rw-r--r--errata.tex9391logplain
-rw-r--r--proof.md22691logplain