diff --git a/CHANGELOG.md b/CHANGELOG.md index 6ef3f93..792bd35 100644 --- 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.4.4 - 2023-12-06 + +- Fixed a regression that caused first-time installations to fail + ## 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)). diff --git a/package-lock.json b/package-lock.json index 4e8cf81..58b55ae 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "rzk-1-experimental-highlighting", - "version": "0.4.3", + "version": "0.4.4", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "rzk-1-experimental-highlighting", - "version": "0.4.3", + "version": "0.4.4", "dependencies": { "@octokit/rest": "^19.0.13", "semver": "^7.5.3", diff --git a/package.json b/package.json index 02a8fd4..7b94d24 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.3", + "version": "0.4.4", "repository": "https://github.com/rzk-lang/vscode-rzk", "publisher": "NikolaiKudasovfizruk", "main": "./out/extension.js",