Vim

2009

• Enhanced Twelf-mode for Vim

  2009-08-17 Free Software, Twelf, and Vim.

2008

• Inkpot Theme for Mutt

  2008-08-03 Free Software, Mutt, and Vim.