Enhanced Twelf-mode for Vim

Published August 17, 2009 in Free Software, Twelf, and 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.