Release v3.1.2 (updated Dafny to 4.2.0) (#415)

CHANGELOG.md

@@ -1,5 +1,14 @@
 # Release Notes
 
+## 3.1.2
+- Add Dafny 4.2.0
+- Update README.md (https://github.com/dafny-lang/ide-vscode/pull/407)
+- Fix: Empty ghost diagnostics no longer ignored (https://github.com/dafny-lang/ide-vscode/pull/399)
+- Chore: Support labels with primes and question marks (https://github.com/dafny-lang/ide-vscode/pull/398)
+- Chore: Better description of automatic verification (https://github.com/dafny-lang/ide-vscode/pull/397)
+- Fixes "this" highlight (https://github.com/dafny-lang/ide-vscode/pull/396)
+- Support new IDE states, parsing and preparing verification (https://github.com/dafny-lang/ide-vscode/pull/392)
+
 ## 3.1.1
 - Add Dafny 4.1.0
 - chore: Empty releases (https://github.com/dafny-lang/ide-vscode/pull/387)

package.json

@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "3.1.1",
+  "version": "3.1.2",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -216,6 +216,7 @@
           "type": "string",
           "enum": [
             "latest",
+            "4.2.0",
             "4.1.0",
             "4.0.0",
             "3.13.1",
@@ -288,8 +289,7 @@
       }
     ]
   },
-  "activationEvents": [
-  ],
+  "activationEvents": [],
   "scripts": {
     "vscode:prepublish": "npm run package",
     "compile": "webpack",

src/constants.ts

@@ -48,7 +48,7 @@ export namespace LanguageServerConstants {
   export const LatestStable = 'latest';
   export const LatestNightly = 'latest nightly';
   export const Custom = 'custom';
-  export const LatestVersion = '4.1.0';
+  export const LatestVersion = '4.2.0';
   export const UnknownVersion = 'unknown';
   export const DafnyGitUrl = 'https://github.com/dafny-lang/dafny.git';
   export const DownloadBaseUri = 'https://github.com/dafny-lang/dafny/releases/download';