Twelf

2009

• Enhanced Twelf-mode for Vim

  Published August 17, 2009 in Free Software, Twelf, and Vim.

• Introduction to Twelf

  Published August 4, 2009 in Twelf.