Release v3.3.1 (updated Dafny to 4.7.0)

dafny-lang · Jun 26, 2024 · a0d8f3c · a0d8f3c
1 parent 24f83bd
commit a0d8f3c
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,15 @@
 # Release Notes
 
+## 3.3.1
+
+- Dafny project file improvements (https://github.com/dafny-lang/ide-vscode/pull/475)
+  - No longer let the syntax definitions for `.dfy` files also be applied to `dfyconfig.toml` files
+  - Activate extension when `.toml` file is opened, such as a `dfyconfig.toml`
+  - Let the language client also operate on files ending in `dfyconfig.toml`
+  - Update the description of `dafny.version`
+  - Remove outdated descriptions of options in the README
+- Add Dafny 4.7.0
+
 ## 3.3.0
 - Add Dafny 4.6.0
 

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "3.3.0",
+  "version": "3.3.1",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -230,6 +230,7 @@
           "type": "string",
           "enum": [
             "latest stable release",
+            "4.7.0",
             "4.6.0",
             "4.5.0",
             "4.4.0",

diff --git a/src/constants.ts b/src/constants.ts
@@ -49,7 +49,7 @@ export namespace LanguageServerConstants {
   export const LatestStable = 'latest stable release';
   export const LatestNightly = 'latest nightly';
   export const Custom = 'custom';
-  export const LatestVersion = '4.6.0';
+  export const LatestVersion = '4.7.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';