Merge pull request #1426 from informalsystems/vscode-release/0.14.1

VSCode Release v0.14.1

vscode/quint-vscode/CHANGELOG.md

@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.14.1 -- 2024-04-09
+
 ### Added
 ### Changed
 

vscode/quint-vscode/package.json

@@ -3,27 +3,36 @@
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
 	"icon": "./icons/logo.png",
-	"version": "0.14.0",
+	"version": "0.14.1",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"
 	},
-	"categories": ["Programming Languages"],
+	"categories": [
+		"Programming Languages"
+	],
 	"bugs": {
 		"url": "https://github.com/informalsystems/quint/issues"
 	},
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/informalsystems/quint.git"
 	},
-	"activationEvents": ["onLanguage:quint"],
+	"activationEvents": [
+		"onLanguage:quint"
+	],
 	"main": "./client/out/extension",
 	"contributes": {
 		"languages": [
 			{
 				"id": "quint",
-				"aliases": ["Quint", "quint"],
-				"extensions": [".qnt"],
+				"aliases": [
+					"Quint",
+					"quint"
+				],
+				"extensions": [
+					".qnt"
+				],
 				"configuration": "./language-configuration.json",
 				"icon": {
 					"light": "./icons/logo-dark.png",

vscode/quint-vscode/server/package.json

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