From 1954271dcc63db360a6b97883ebb14e6da9c304d Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Wed, 21 Jun 2023 17:02:36 +0300 Subject: [PATCH] Bump version and update changelog --- CHANGELOG.md | 11 ++++++++--- package-lock.json | 4 ++-- package.json | 2 +- 3 files changed, 11 insertions(+), 6 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ead7e23..d84f34b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,12 +4,17 @@ 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.1 — 2022-06-21 + +1. Add `rzk.path` configuration option (see [#22](https://github.com/fizruk/vscode-rzk/pull/22)). +2. Add GitHub Action to compile/check the extension (see [#23](https://github.com/fizruk/vscode-rzk/pull/23)). + ### 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)) +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 @@ -21,7 +26,7 @@ Add Markdown Preview button for Literate Rzk (see [#16](https://github.com/fizru 2. Add icons for literate Rzk files (both Markdown and TeX, see [#13](https://github.com/fizruk/vscode-rzk/pull/13)). 3. Some minor fixes (restoring rainbow-parentheses and keybinding for code commenting). 4. Using YAML for the language grammar (see [#6](https://github.com/fizruk/vscode-rzk/pull/6)). -5. Add `launch.json` and prettify (see [#1](https://github.com/fizruk/vscode-rzk/pull/1)) +5. Add `launch.json` and prettify (see [#1](https://github.com/fizruk/vscode-rzk/pull/1)). ### v0.2.4 — 2022-05-27 diff --git a/package-lock.json b/package-lock.json index 69ebbf4..9c53598 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "rzk-1-experimental-highlighting", - "version": "0.3.0", + "version": "0.3.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "rzk-1-experimental-highlighting", - "version": "0.3.0", + "version": "0.3.1", "devDependencies": { "@types/node": "^20.3.1", "@types/vscode": "^1.79.1", diff --git a/package.json b/package.json index bb1f36d..4b1d1af 100644 --- 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.0", + "version": "0.3.1", "repository": "https://github.com/fizruk/vscode-rzk", "publisher": "NikolaiKudasovfizruk", "main": "./out/extension.js",