summaryrefslogtreecommitdiff
path: root/Util/latex
ModeNameSize
-rw-r--r--dafny.sty3274logplain