Merge pull request #669 from coq-community/bump-version

Bump version for release. Update doc.

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
 

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"

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

docs/developers.md

@@ -103,6 +103,8 @@ 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

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

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 =