v0.4.0

• Added typo validation by @azaddima

v0.3.1

• Added generated AST and grammar

v0.3.0

• Added support for language server protocol with Langium
• Removed Xtext support
• No need for Java runtime anymore

v0.2.0

Added

• Bacic support for language server protocol

v0.1.2

:see_no_evil:Updated version to 0.1.2

v0.1.1

Added

• 📦 Limboole executables into extension

v0.1.0

• Initial release
• Added support for checking the satisfiability and validity of the formula
• Added support for CNF translation
• Added support for running Limboole from the command palette
• Added support for setting the path to Limboole executable in settings