summaryrefslogtreecommitdiff
path: root/Util/latex
ModeNameSize
-rw-r--r--boogie.sty3483logplain
-rw-r--r--chalice.sty1801logplain
-rw-r--r--dafny.sty3045logplain