diff --git a/CHANGELOG.md b/CHANGELOG.md index 9a57bee..4b81cf3 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Release Notes +## 3.2.2 +- Warn users about libraries not being available inside the Dafny IDE (https://github.com/dafny-lang/ide-vscode/pull/454) +- Fix: Dafny plugins working again. (https://github.com/dafny-lang/ide-vscode/pull/453) +- Fix formatting issues accidentally introduced in PR #450 (https://github.com/dafny-lang/ide-vscode/pull/451) +- Fix plugin arguments to Dafny server (https://github.com/dafny-lang/ide-vscode/pull/450) + ## 3.2.1 - fix: relax .NET runtime version check (https://github.com/dafny-lang/ide-vscode/pull/443) diff --git a/package-lock.json b/package-lock.json index 7b28398..fa3bee1 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "ide-vscode", - "version": "3.2.1", + "version": "3.2.2", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "ide-vscode", - "version": "3.2.1", + "version": "3.2.2", "license": "MIT", "dependencies": { "cross-fetch": "^3.1.5", diff --git a/package.json b/package.json index 1797f1b..7eedfce 100644 --- a/package.json +++ b/package.json @@ -2,7 +2,7 @@ "name": "ide-vscode", "displayName": "Dafny", "description": "Dafny for Visual Studio Code", - "version": "3.2.1", + "version": "3.2.2", "publisher": "dafny-lang", "repository": { "type": "git", @@ -228,6 +228,7 @@ "type": "string", "enum": [ "latest stable release", + "4.4.0", "4.3.0", "4.2.0", "4.1.0", diff --git a/src/constants.ts b/src/constants.ts index a44c3c6..022fc89 100644 --- 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.3.0'; + export const LatestVersion = '4.4.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';