From 5533231701e93fdbf7d88992500cfab6e51b0637 Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Thu, 28 Sep 2023 14:24:04 +0200
Subject: [PATCH] Bump version and update changelog

---
 CHANGELOG.md      | 26 +++++++-------------------
 package-lock.json |  4 ++--
 package.json      |  2 +-
 3 files changed, 10 insertions(+), 22 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 755cb1f..aae96f8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,32 +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/).
+## v0.4.2 — 2023-09-28
 
-### Changed
+- Fix the word pattern to allow triggering latex-input extension on `\` (see [#51](https://github.com/rzk-lang/vscode-rzk/pull/51))
 
-- Updated extension name and description to reflect the newly added features (with LSP).
-
-### Fixed
+## v0.4.1 - 2023-09-27
 
-- 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.
+- Provide the option to build `rzk` via [stack](https://docs.haskellstack.org/en/stable/) or [cabal](https://www.haskell.org/cabal/).
+- Update extension name and description to reflect the newly added features (with LSP).
+- Define `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
-
 - IntelliSense support for `rzk.yaml` (requires the [YAML extension](https://marketplace.visualstudio.com/items?itemName=redhat.vscode-yaml))
-
-### Changed
-
-- Replaced the custom tokenizer with LSP support (available starting Rzk `v0.6.0`) (see [#36](https://github.com/rzk-lang/vscode-rzk/pull/36))
-
-## v0.3.7 — 2023-07-10
-
+- Replace the custom tokenizer with LSP support (available starting Rzk `v0.6.0`) (see [#36](https://github.com/rzk-lang/vscode-rzk/pull/36))
 - Add option to download pre-releases (do not by default) (see [#35](https://github.com/rzk-lang/vscode-rzk/pull/35))
 
 ## v0.3.6 — 2023-07-10
diff --git a/package-lock.json b/package-lock.json
index 0427428..3713e47 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "rzk-1-experimental-highlighting",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "rzk-1-experimental-highlighting",
-      "version": "0.4.1",
+      "version": "0.4.2",
       "dependencies": {
         "@octokit/rest": "^19.0.13",
         "semver": "^7.5.3",
diff --git a/package.json b/package.json
index 77c13f7..c030876 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.1",
+  "version": "0.4.2",
   "repository": "https://github.com/rzk-lang/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",