Twelf Plugin

Compatible with IntelliJ IDEA
27.09.2014
610
Jelf adds Twelf language support to IntelliJ IDEA. Features include syntax highlighting, on-the-fly reporting of syntax errors, indexing and search on Twelf declarations and files, code completion, go-to-declaration action, renaming of declarations, twelf compile and error reporting.

Download plugin