diff --git a/CHANGELOG.md b/CHANGELOG.md
index 10e72f52..0b07bafb 100644
--- a/CHANGELOG.md
+++ b/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)
diff --git a/package-lock.json b/package-lock.json
index 49505965..ce8f4be2 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "ide-vscode",
-  "version": "3.1.1",
+  "version": "3.1.2",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "ide-vscode",
-      "version": "3.1.1",
+      "version": "3.1.2",
       "license": "MIT",
       "dependencies": {
         "cross-fetch": "^3.1.5",
diff --git a/package.json b/package.json
index c5001a8b..dc3ce0a4 100644
--- a/package.json
+++ b/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",
diff --git a/src/constants.ts b/src/constants.ts
index 9e69d255..145b4b62 100644
--- a/src/constants.ts
+++ b/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';