From 7d50b51fce2cbe58f81daaa508d5db7d5b115772 Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Wed, 27 Sep 2023 17:10:05 +0200
Subject: [PATCH 1/2] Bump version to 0.4.1

---
 package-lock.json | 4 ++--
 package.json      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index 08365ba..0427428 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "rzk-1-experimental-highlighting",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "rzk-1-experimental-highlighting",
-      "version": "0.4.0",
+      "version": "0.4.1",
       "dependencies": {
         "@octokit/rest": "^19.0.13",
         "semver": "^7.5.3",
diff --git a/package.json b/package.json
index 6d01290..77c13f7 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.0",
+  "version": "0.4.1",
   "repository": "https://github.com/rzk-lang/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",

From 3408ab1d9aa6103506faabf82a403d140c4ec55f Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Wed, 27 Sep 2023 17:10:39 +0200
Subject: [PATCH 2/2] Add a changelog entry for v0.4.1

---
 CHANGELOG.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0849782..755cb1f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,20 @@ 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.1 - 2023-09-27
+
+### Added
+
+- The extension now provides the option to build `rzk` via [stack](https://docs.haskellstack.org/en/stable/) or [cabal](https://www.haskell.org/cabal/).
+
+### Changed
+
+- Updated extension name and description to reflect the newly added features (with LSP).
+
+### Fixed
+
+- Defined `wordPattern` to help VS Code recognize how an identifier looks like in Rzk. This should fix IntelliSense completion for identifiers with non-alpha characters.
+
 ## v0.4.0 - 2023-09-23
 
 ### Added