diff --git a/package-lock.json b/package-lock.json
index f1b4aa3..3bcf7e3 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif",
-	"version": "1.2.4",
+	"version": "1.3.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif",
-			"version": "1.2.4",
+			"version": "1.3.0",
 			"hasInstallScript": true,
 			"license": "MIT",
 			"devDependencies": {
diff --git a/package.json b/package.json
index 821fb54..43044b0 100644
--- a/package.json
+++ b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.2.4",
+	"version": "1.3.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 a5f7eda..c83834c 100644
--- a/server/package-lock.json
+++ b/server/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif-server",
-	"version": "1.2.2",
+	"version": "1.3.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif-server",
-			"version": "1.2.2",
+			"version": "1.3.0",
 			"license": "MIT",
 			"dependencies": {
 				"antlr4-c3": "^3.1.1",
diff --git a/server/package.json b/server/package.json
index 761a7ce..6e34567 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.2.2",
+	"version": "1.3.0",
 	"license": "MIT",
 	"engines": {
 		"node": "*"