Release v3.4.4 (updated Dafny to 4.10.0) (#523)

Author: MikaelMayer

CHANGELOG.md

@@ -1,5 +1,10 @@
 # Release Notes
 
+## 3.4.4
+- Added Dafny 4.10.0
+- Enable starting using a cached nigthly (https://github.com/dafny-lang/ide-vscode/pull/519)
+  When using latest-nightly, enable starting using a cached nigthly when there is no internet connection
+
 ## 3.4.3
 - Added Dafny 4.9.1
 - Support for @-syntax for attributes (https://github.com/dafny-lang/ide-vscode/pull/500)

package-lock.json

@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "3.4.3",
+  "version": "3.4.4",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -230,6 +230,7 @@
           "type": "string",
           "enum": [
             "latest stable release",
+            "4.10.0",
             "4.9.1",
             "4.9.0",
             "4.8.1",

package.json

@@ -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.9.1';
+  export const LatestVersion = '4.10.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';