Bump version and update changelog

rzk-lang · Jul 10, 2023 · 5e74f87 · 5e74f87
1 parent 5c5e5d8
commit 5e74f87
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,10 @@ All notable changes to the "rzk-1-experimental-highlighting" extension will be d
 
 Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
 
+### v0.3.7 — 2022-07-10
+
+- Add option to download pre-releases (do not by default) (see [#35](https://github.com/rzk-lang/vscode-rzk/pull/35))
+
 ### v0.3.6 — 2022-07-10
 
 - Move to [rzk-lang/vscode-rzk](https://github.com/rzk-lang/vscode-rzk/) (see [#34](https://github.com/rzk-lang/vscode-rzk/pull/34))

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
   "displayName": "rzk syntax highlighting",
   "description": "Syntax Highlighting for rzk, an experimental proof assistant for synthetic ∞-categories",
   "icon": "images/icon.png",
-  "version": "0.3.6",
+  "version": "0.3.7",
   "repository": "https://github.com/rzk-lang/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",