Enhanced Twelf-mode for Vim

As you might have read in my previous post, I have recently started playing around with the programming language named Twelf.

Twelf ships with a Vim mode, but unfortunately they forgot to take account of different colour schemes and it only appears to be working well with the default Vim colour scheme. I decided to rewrite the syntax highlighting files for Twelf, so that they work with the colour scheme of your choice.

Releases are available for download from here, or you can grab the code directly from Github using:

$ git clone https://github.com/ahf/twelf-syntax.git

Patches encouraged! Check out the repository on Github.


Article published on August 17, 2009, in Free Software, Twelf, and Vim. Last revised on April 19, 2020. If you would like to contact me with comments about this article, please write me an email.