Merge pull request #1367 from informalsystems/vscode-release/0.13.7

VSCode Release v0.13.7

Author: Shon Feder

vscode/quint-vscode/CHANGELOG.md

@@ -14,6 +14,51 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 ### Security
 
+## v0.13.7 -- 2024-02-08
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.13.6 -- 2024-02-08
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.13.5 -- 2024-02-08
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.13.4 -- 2024-02-08
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.13.3 -- 2024-02-08
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
 ## v0.13.2 -- 2024-01-26
 
 ### Added

vscode/quint-vscode/package-lock.json

@@ -3,7 +3,7 @@
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
 	"icon": "quint-logo-vscode.png",
-	"version": "0.13.2",
+	"version": "0.13.7",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"

vscode/quint-vscode/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@informalsystems/quint-language-server",
   "description": "Language Server for the Quint specification language",
-  "version": "0.13.2",
+  "version": "0.13.7",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -43,7 +43,7 @@
     "test/**/*.ts"
   ],
   "dependencies": {
-    "@informalsystems/quint": "^0.18.2",
+    "@informalsystems/quint": "^0.18.3",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"