Release v3.1.0 (#384)

dafny-lang · Apr 21, 2023 · 394937f · 394937f
1 parent a8103b0
commit 394937f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Release Notes
 
+## 3.1.0
+- Bump webpack from 5.73.0 to 5.76.0 (https://github.com/dafny-lang/ide-vscode/pull/376)
+- Opaque now marked as keyword
+
 ## 3.0.9
 - Fix: Function declarations not highlighted as types (https://github.com/dafny-lang/ide-vscode/pull/371)
 - Fix: undesired red "<" character (https://github.com/dafny-lang/ide-vscode/issues/368)

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.0.9",
+  "version": "3.1.0",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",