release: Release hover

ProVerif · Feb 19, 2024 · b20b9cf · b20b9cf
1 parent a4ab617
commit b20b9cf
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## v1.5.0
+
+Add hover.
+
+
 ## v1.4.0
 
 Add signature help.

diff --git a/README.md b/README.md
@@ -15,6 +15,7 @@ Visual Studio Code extension for ProVerif files (.pv, .pvl, .pcv).
 
 Functionality:
 - Highlights the first syntax errors ProVerif finds with the corresponding error. For libraries, see below.
+- Hover over an identifier to learn more about it.
 - Press `CTRL` and click on an identifier to navigate to its definition or find all references of the definition.
 - Press `F2` to rename an identifier.
 - Press `CTRL`+`SHIFT`+`Space` to show signature help (automatically shown when typing `(`)

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.4.0",
+	"version": "1.5.0",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"

diff --git a/server/package-lock.json b/server/package-lock.json
diff --git a/server/package.json b/server/package.json
@@ -2,7 +2,7 @@
 	"name": "vscode-proverif-server",
 	"description": "Language support for the ProVerif language - server",
 	"author": "ProVerif",
-	"version": "1.4.0",
+	"version": "1.5.0",
 	"license": "MIT",
 	"engines": {
 		"node": "*"