Bump version to 1.4.0-beta.7

overturetool · Apr 23, 2024 · 2ec512e · 2ec512e
1 parent 8b2b621
commit 2ec512e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,8 @@
+### 1.4.0-beta.7
+- Update VDMJ plugin jars - add plugin.json metadata to QuickCheck plugin
+- Add plugin management UI.
+- Improve library addition functionality to also show user-defined libraries.
+
 ### 1.4.0-beta.6
 - Update VDMJ jars.
 - Fix bug that would cause POG view to blank on QuickCheck results without launch command.

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "vdm-vscode",
-    "version": "1.4.0-beta.6",
+    "version": "1.4.0-beta.7",
     "publisher": "overturetool",
     "engines": {
         "vscode": "^1.64.0",