From 3f75b2cf4e7bdb04ce36a8a921d7d367517f8336 Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Fri, 13 Oct 2023 17:23:52 +0200 Subject: [PATCH 1/3] Bump version for release. Update doc. --- client/package.json | 2 +- client/src/utilities/versioning.ts | 4 +++- docs/developers.md | 4 +++- flake.nix | 2 +- language-server/vscoqtop/lspManager.ml | 2 +- 5 files changed, 9 insertions(+), 5 deletions(-) diff --git a/client/package.json b/client/package.json index e28f93dbc..8280b957d 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.0.1", + "version": "2.0.2", "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 5bdfa23db..44ae09fec 100644 --- a/client/src/utilities/versioning.ts +++ b/client/src/utilities/versioning.ts @@ -27,9 +27,11 @@ type VersionReq = { [index: string]: string }; +/* Version requirements for the client. Syntax is client version : minimum server version */ const versionRequirements : VersionReq = { '2.0.0': '2.0.0', - '2.0.1': '2.0.0' + '2.0.1': '2.0.0', + '2.0.2': '2.0.0' }; //We will add version ranges as we start releasing diff --git a/docs/developers.md b/docs/developers.md index c0e867706..a21fb9971 100644 --- a/docs/developers.md +++ b/docs/developers.md @@ -103,12 +103,14 @@ To release a new version of VsCoq: - flake.nix - client/package.json - language-server/vscoqtop/lspManager.ml + +1.a Don't forget to add the version requirements in `client/src/utilities/versioning.ts` 2. Create a signed tag for the release with the new version number ```shell git tag -s #VERSION_NUMBER ``` -3. Push +1. Push ```shell git push origin #VERSION_NUMBER ``` diff --git a/flake.nix b/flake.nix index 7eea371d5..718575334 100644 --- a/flake.nix +++ b/flake.nix @@ -31,7 +31,7 @@ ocamlPackages.buildDunePackage { duneVersion = "3"; pname = "vscoq-language-server"; - version = "2.0.1"; + version = "2.0.2"; src = ./language-server; buildInputs = [ coq diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml index b820c2e1f..431a2daa4 100644 --- a/language-server/vscoqtop/lspManager.ml +++ b/language-server/vscoqtop/lspManager.ml @@ -44,7 +44,7 @@ let conf_request_id = max_int let server_info = InitializeResult.create_serverInfo ~name:"vscoq-language-server" - ~version:"2.0.1" + ~version:"2.0.2" () type lsp_event = From 13707f6667e52aa662bdab3cb5b0fd9021563de2 Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Fri, 13 Oct 2023 18:24:41 +0200 Subject: [PATCH 2/3] Update developers.md --- docs/developers.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/developers.md b/docs/developers.md index a21fb9971..36084725c 100644 --- a/docs/developers.md +++ b/docs/developers.md @@ -110,7 +110,7 @@ To release a new version of VsCoq: ```shell git tag -s #VERSION_NUMBER ``` -1. Push +3. Push ```shell git push origin #VERSION_NUMBER ``` From 954198534286b106426327c8ae70b09bb246b784 Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Mon, 16 Oct 2023 07:58:59 +0200 Subject: [PATCH 3/3] Minor edits --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 4905fa4fc..0d93b03d7 100644 --- a/README.md +++ b/README.md @@ -125,13 +125,13 @@ After installation and activation of the extension: #### Goal and info view panel * `"vscoq.goals.diff.mode": on | off | removed` -- Toggles diff mode. If set to `removed`, only removed characters are shown (defaults to `off`) * `"vscoq.goals.display": Tabs | List` -- Decide whether to display goals in seperate tabs or as a list of collapsibles. -* `"vscoq.goals.messages.full": bool` -- A toggle to include warning and errors in the proof view (defaults to `true`) +* `"vscoq.goals.messages.full": bool` -- A toggle to include warning and errors in the proof view (defaults to `false`) #### Diagnostics -* `"vscoq.diagnostics.full": bool` -- Toggles the printing of `Info` level diagnostics +* `"vscoq.diagnostics.full": bool` -- Toggles the printing of `Info` level diagnostics (defaults to `false`) #### Code completion (experimental) -* `"vscoq.completion.enable": bool` -- Toggle code completion +* `"vscoq.completion.enable": bool` -- Toggle code completion (defaults to `false`) * `"vscoq.completion.algorithm": StructuredSplitUnification | SplitTypeIntersection` -- Which completion algorithm to use * `"vscoq.completion.unificationLimit": int` -- Sets the limit for how many theorems unification is attempted