Bump version to 1.4.0-beta.14

overturetool · Sep 22, 2024 · 8115cd9 · 8115cd9
1 parent 91874a8
commit 8115cd9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,9 @@
+### 1.4.0-beta.14
+- Fix default enabled plugins not always being enabled for users updating from an earlier version of the extension.
+- Enable `uml` as default plugin.
+- Improve alignment of filter and buttons in Proof Obligation View.
+- Improve warning message added in 1.4.0-beta.12, so it only displays when proof obligation fails.
+
 ### 1.4.0-beta.13
 - Change extension configuration of VDMJ release to be an enumeration of "vdm10" and "classic"
 - Add workspace settings.json to all classic examples

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