summaryrefslogtreecommitdiff
path: root/Util/Emacs
ModeNameSize
-rw-r--r--boogie-mode.el3914logplain
-rw-r--r--chalice-mode.el3605logplain
-rw-r--r--dafny-mode.el3364logplain
-rw-r--r--jennisys-mode.el3198logplain