From 2ec512e770d1be2a2575e26aefaa42c648348513 Mon Sep 17 00:00:00 2001 From: MarkusEllyton Date: Tue, 23 Apr 2024 13:39:16 +0200 Subject: [PATCH] Bump version to 1.4.0-beta.7 --- CHANGELOG.md | 5 +++++ package.json | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 085342f..6837c24 100644 --- 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 index 3e4a993..b50e478 100644 --- 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",