diff --git a/client/media/vscoq-main-menu.png b/client/media/vscoq-main-menu.png new file mode 100644 index 000000000..30601386a Binary files /dev/null and b/client/media/vscoq-main-menu.png differ diff --git a/client/media/vscoq_menus.png b/client/media/vscoq_menus.png new file mode 100644 index 000000000..56abd88f8 Binary files /dev/null and b/client/media/vscoq_menus.png differ diff --git a/client/package.json b/client/package.json index 90b2ee61c..1ef508422 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.1.7", + "version": "2.2.0", "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 4d9f7b674..7d6c7b035 100644 --- a/client/src/utilities/versioning.ts +++ b/client/src/utilities/versioning.ts @@ -39,7 +39,8 @@ const versionRequirements : VersionReq = { '2.1.3': '2.1.3', '2.1.5': '2.1.5', '2.1.6': '2.1.5', - '2.1.7': '2.1.7' + '2.1.7': '2.1.7', + '2.2.0': '2.1.7', }; //We will add version ranges as we start releasing diff --git a/flake.nix b/flake.nix index de51bfe1d..872eaf288 100644 --- a/flake.nix +++ b/flake.nix @@ -20,7 +20,7 @@ vscodeExtPublisher = "maximedenes"; vscodeExtName = "vscoq"; vscodeExtUniqueId = "maximedenes.vscoq"; - vscoq_version = "2.1.7"; + vscoq_version = "2.2.0"; coq = coq-master.packages.${system}; in rec { formatter = nixpkgs.legacyPackages.${system}.alejandra; diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml index 3f930a076..8aa1db751 100644 --- a/language-server/vscoqtop/lspManager.ml +++ b/language-server/vscoqtop/lspManager.ml @@ -49,7 +49,7 @@ let conf_request_id = max_int let server_info = InitializeResult.create_serverInfo ~name:"vscoq-language-server" - ~version:"2.1.7" + ~version:"2.2.0" () type lsp_event =