Merge branch 'release-v0.3.0'

* release-v0.3.0: Bump version, update README and Changelog
rzk-lang · Jun 20, 2023 · 1bcc403 · 1bcc403
2 parents 2606e6c + 809896c
commit 1bcc403
Show file tree

Hide file tree

Showing 7 changed files with 27 additions and 44 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,13 @@ 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.0 — 2022-06-20
+
+This version introduces improvements to the highlighting:
+
+1. Add semantic highlighting via `rzk tokenize` feature in rzk (v0.5 and higher, see https://github.com/fizruk/rzk/pull/53) (see [#15](https://github.com/fizruk/vscode-rzk/pull/15));
+2. Fix a few issues with TextMate highlighting (see [#14](https://github.com/fizruk/vscode-rzk/pull/14))
+
 ### v0.2.6 — 2022-06-16
 
 Add Markdown Preview button for Literate Rzk (see [#16](https://github.com/fizruk/vscode-rzk/pull/16)).

diff --git a/README.md b/README.md
@@ -1,7 +1,17 @@
 # rzk-1-experimental-highlighting README
 
-This is a simple syntax highlighter for `rzk`, an experimental proof assistant for synthetic ∞-categories.
+Syntax highlighting for [`rzk`](https://fizruk.github.io/rzk/), an experimental proof assistant for synthetic ∞-categories.
 
-![Syntax highlighting example.](images/example.png)
+![Syntax highlighting example.](images/example-unfolding-square.png)
+
+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.
 
 See [Changelog](CHANGELOG.md) for recent updated and changes.
+
+More examples:
+
+![Syntax highlighting example.](images/example-relfunext2.png)
diff --git a/images/example-relfunext2.png b/images/example-relfunext2.png
diff --git a/images/example-unfolding-square.png b/images/example-unfolding-square.png
diff --git a/images/example.png b/images/example.png
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -3,17 +3,18 @@
   "displayName": "rzk syntax highlighting",
   "description": "Syntax Highlighting for rzk, an experimental proof assistant for synthetic ∞-categories",
   "icon": "images/icon.png",
-  "version": "0.2.6",
-  "repository": "https://github.com/fizruk/vscode-rzk/rzk-1-experimental-highlighting",
+  "version": "0.3.0",
+  "repository": "https://github.com/fizruk/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",
+  "activationEvents": [],
   "scripts": {
     "vscode:prepublish": "npm run compile",
     "compile": "tsc -p ./",
     "watch": "tsc --watch -p ./"
   },
   "engines": {
-    "vscode": "^1.76.0"
+    "vscode": "^1.79.1"
   },
   "categories": [
     "Programming Languages"