From 8f0d35923f8a1457cf8e3eaa705e9e5bda0c50fa Mon Sep 17 00:00:00 2001 From: Abdelrahman Abounegm Date: Wed, 1 Nov 2023 14:26:34 +0300 Subject: [PATCH 1/2] Bump version and add changelog entry --- CHANGELOG.md | 6 ++++++ package-lock.json | 4 ++-- package.json | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index aae96f8..2ae3eba 100644 --- a/CHANGELOG.md +++ b/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.4.3 - 2023-11-01 + +- Check for updates to Rzk periodically (hourly for now) instead of just on launch ([#53](https://github.com/rzk-lang/vscode-rzk/pull/53)). +- Fix the word pattern once more to detect Rzk identifiers properly without interfering with the latex-input extension ([#61](https://github.com/rzk-lang/vscode-rzk/pull/61)). +- Fix updating Rzk installation on Ubuntu ([#63](https://github.com/rzk-lang/vscode-rzk/pull/63)) + ## v0.4.2 — 2023-09-28 - Fix the word pattern to allow triggering latex-input extension on `\` (see [#51](https://github.com/rzk-lang/vscode-rzk/pull/51)) diff --git a/package-lock.json b/package-lock.json index 3713e47..4e8cf81 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "rzk-1-experimental-highlighting", - "version": "0.4.2", + "version": "0.4.3", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "rzk-1-experimental-highlighting", - "version": "0.4.2", + "version": "0.4.3", "dependencies": { "@octokit/rest": "^19.0.13", "semver": "^7.5.3", diff --git a/package.json b/package.json index e963b24..02a8fd4 100644 --- a/package.json +++ b/package.json @@ -3,7 +3,7 @@ "displayName": "Rzk", "description": "Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories", "icon": "images/icon.png", - "version": "0.4.2", + "version": "0.4.3", "repository": "https://github.com/rzk-lang/vscode-rzk", "publisher": "NikolaiKudasovfizruk", "main": "./out/extension.js", From 4e62c80318dc6f21f2ce51c53ea0adc9a98a95e2 Mon Sep 17 00:00:00 2001 From: Abdelrahman Aly Abounegm Date: Thu, 2 Nov 2023 16:52:28 +0300 Subject: [PATCH 2/2] Update release date CHANGELOG.md The PR was not merged on time --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2ae3eba..6ef3f93 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,7 @@ 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.4.3 - 2023-11-01 +## v0.4.3 - 2023-11-02 - Check for updates to Rzk periodically (hourly for now) instead of just on launch ([#53](https://github.com/rzk-lang/vscode-rzk/pull/53)). - Fix the word pattern once more to detect Rzk identifiers properly without interfering with the latex-input extension ([#61](https://github.com/rzk-lang/vscode-rzk/pull/61)).