🙈Updated version to 0.1.2

soaibsafi · Sep 15, 2024 · 00a8e95 · 00a8e95
1 parent 9be7d1f
commit 00a8e95
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,4 +7,8 @@
 - Added support for checking satisfiability and validity of the formula
 - Added support for CNF translation
 - Added support for running Limboole from command palette
-- Added support for setting path to Limboole executable in settings
+- Added support for setting path to Limboole executable in settings
+
+## [0.1.2] - 2024-09-15
+
+- Added limboole executables
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
   "name": "limboole",
   "displayName": "Limboole",
   "description": "A VS Code extension for Limboole. For more information, visit https://fmv.jku.at/limboole/",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "publisher": "Soaibuzzaman",
   "engines": {
     "vscode": "^1.8.0"