Twelf Plugin

Compatible with IntelliJ IDEA
Sep 27, 2014
10 741
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