Twelf2009Enhanced Twelf-mode for VimPublished August 17, 2009 in Free Software, Twelf, and Vim.Introduction to TwelfPublished August 4, 2009 in Twelf.