diff --git a/package-lock.json b/package-lock.json
index 7810571..9f30b49 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif",
-	"version": "1.3.1",
+	"version": "1.4.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif",
-			"version": "1.3.1",
+			"version": "1.4.0",
 			"hasInstallScript": true,
 			"license": "MIT",
 			"devDependencies": {
diff --git a/package.json b/package.json
index c8622fd..d53bb40 100644
--- a/package.json
+++ b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.3.1",
+	"version": "1.4.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
index b9d864b..3cf2ac5 100644
--- a/server/package-lock.json
+++ b/server/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif-server",
-	"version": "1.3.1",
+	"version": "1.4.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif-server",
-			"version": "1.3.1",
+			"version": "1.4.0",
 			"license": "MIT",
 			"dependencies": {
 				"antlr4-c3": "^3.1.1",
diff --git a/server/package.json b/server/package.json
index 19fbf4e..217f2e7 100644
--- 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.3.1",
+	"version": "1.4.0",
 	"license": "MIT",
 	"engines": {
 		"node": "*"