Release v3.1.0

dafny-lang · Apr 21, 2023 · 6d2a126 · 6d2a126
1 parent a8103b0
commit 6d2a126
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 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",

diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage
@@ -444,7 +444,7 @@
 				</dict>
 			</array>
 		</dict>
-		<key>keywords</key>
+		<key>keywords</key>	
 		<dict>
 			<key>patterns</key>
 			<array>