Twelf Plugin
for IntelliJ IDEA

Compatible with  IntelliJ IDEA
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

No comments so far.

Please  sign in  to leave a comment.