Bump version and update changelog

CHANGELOG.md

@@ -4,6 +4,12 @@ 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.2 — 2022-07-05
+
+1. Prompt installing/updating `rzk` binary from GitHub Releases!
+2. Add configuration option to specify preferred path to `rzk` (use the one found in `PATH` by default).
+3. Update highlighting via TextMate for some Unicode syntax introduced in `rzk-0.5.2`.
+
 ### v0.3.1 — 2022-06-21
 
 1. Add `rzk.path` configuration option (see [#22](https://github.com/fizruk/vscode-rzk/pull/22)).

README.md

@@ -1,4 +1,4 @@
-# rzk-1-experimental-highlighting README
+# Supporting Rzk in VSCode (`rzk-1-experimental-highlighting`)
 
 Syntax highlighting for [`rzk`](https://fizruk.github.io/rzk/), an experimental proof assistant for synthetic ∞-categories.
 
@@ -8,7 +8,8 @@ Features:
 
 1. Basic syntax highlighting with a simple TextMate grammar.
 2. Semantic highlighting via `rzk tokenize` (you must have `rzk` in your PATH, with version v0.5 or above).
-3. Markdown Preview button for `*.rzk.md` files.
+3. Prompts for installing/updating `rzk` binaries from GitHub Releases automatically.
+4. Markdown Preview button for `*.rzk.md` files.
 
 See [Changelog](CHANGELOG.md) for recent updated and changes.
 
@@ -22,6 +23,6 @@ Extension settings can be configured by going to the settings page (using the me
 
 The currently available settings are:
 
-| Name       | Type             | Default value | Description |
-| ---------- | ---------------- | ------------- | ----------- |
+| Name       | Type             | Default value | Description                                                                                                                                     |
+| ---------- | ---------------- | ------------- | ----------------------------------------------------------------------------------------------------------------------------------------------- |
 | `rzk.path` | `string \| null` | `null`        | The path to the `rzk` executable to use for the language server. `null` (default) means that `rzk` executable available in `PATH` will be used. |

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.1",
+  "version": "0.3.2",
   "repository": "https://github.com/fizruk/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",