summaryrefslogtreecommitdiff
path: root/Util/vim
Commit message (Expand)AuthorAge
* Syntax file for Chalice.Gravatar kyessenov2010-07-14
* Dafny: keep counters for loops, temporary variables across two implementation...Gravatar kyessenov2010-07-07
* Dafny:Gravatar rustanleino2010-07-06
* slightly improved syntax fileGravatar kyessenov2010-06-24
* VIM syntax file for BPL. I just had it laying around.Gravatar MichalMoskal2010-06-21
* A simple highlighting syntax file for Vim.Gravatar kyessenov2010-06-21