diff --git a/client/package.json b/client/package.json index dc380ff2c..77bc7351b 100644 --- a/client/package.json +++ b/client/package.json @@ -4,7 +4,7 @@ "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant", "publisher": "maximedenes", "license": "MIT", - "version": "2.2.2", + "version": "2.2.3", "repository": { "type": "git", "url": "https://github.com/coq-community/vscoq.git" diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts index b1adfb2bc..278c07640 100644 --- a/client/src/utilities/versioning.ts +++ b/client/src/utilities/versioning.ts @@ -43,6 +43,7 @@ const versionRequirements : VersionReq = { '2.2.0': '2.1.7', '2.2.1': '2.2.1', '2.2.2': '2.2.2', + '2.2.3': '2.2.2' }; //We will add version ranges as we start releasing diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml index 00f02b6c7..7990a7b7a 100644 --- a/language-server/vscoqtop/lspManager.ml +++ b/language-server/vscoqtop/lspManager.ml @@ -52,7 +52,7 @@ let conf_request_id = max_int let server_info = InitializeResult.create_serverInfo ~name:"vscoq-language-server" - ~version:"2.2.2" + ~version:"2.2.3" () type lsp_event =