summaryrefslogtreecommitdiff
path: root/Util/Emacs
ModeNameSize
-rw-r--r--boogie-mode.el3898logplain
-rw-r--r--chalice-mode.el3530logplain
-rw-r--r--dafny-mode.el3185logplain