VSCode Release v0.8.0

informalsystems · Aug 26, 2023 · f65cdec · f65cdec
1 parent 51ba385
commit f65cdec
Show file tree

Hide file tree

Showing 5 changed files with 226 additions and 20 deletions.
diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
@@ -14,6 +14,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 ### Security
 
+## v0.8.0 -- 2023-08-25
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
 ## v0.7.0 -- 2023-08-06
 
 ### Added

diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
@@ -2,7 +2,7 @@
 	"name": "quint-vscode",
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
-	"version": "0.7.0",
+	"version": "0.8.0",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"