Eclipse plugin providing IDE features for using Twelf. The plugin includes an editor with syntax highlighting, problem reporting, type hovering, and outline view. It runs the Twelf server in the background and reports typing errors using the Eclipse UI.

Update site: http://twelfdevtools.googlecode.com/svn/trunk/twelfdevtools_update/

Simply point Eclipse to the update site to install the Twelf Development Tools. In order to take full advantage of the plugin you will need to have Twelf installed on your system.