Twelf Extension Pack

An extension for Twelf language.

Features

• Syntax highlighting
• Run current file button
• Load/append configuration file button
• Run selected code in terminal shortcut
• Errors integrated with "Problems" tab after execution
• Hover function inside the editor to view declarations on active server
• Custom .elf files icon

File extensions supported: .elf, .quy.

Commands

• Twelf: Start server
• Twelf: Run current file (Ctrl+Enter)
• Twelf: Run selected code (Alt+Enter)
• Twelf: Read declaration (Ctrl+C Ctrl+D)
• Config load and append
• Trace commands

Requirements

Twelf installed on your PC and twelf/bin folder added to path.