summaryrefslogtreecommitdiff
path: root/Util/vim/syntax
ModeNameSize
-rw-r--r--boogie.vim3251logplain
-rw-r--r--chalice.vim1755logplain
-rw-r--r--dafny.vim1502logplain