Bump version and update changelog

rzk-lang · Jul 5, 2023 · be9867f · be9867f
1 parent a45c185
commit be9867f
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 3 deletions.
diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md
@@ -6,6 +6,16 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to the
 [Haskell Package Versioning Policy](https://pvp.haskell.org/).
 
+## v0.5.2 — 2022-07-05
+
+This version introduces support for Unicode syntax, better recognition of Markdown code blocks and improves documentation a bit:
+
+- Support some Unicode syntax (see [#61](https://github.com/fizruk/rzk/pull/61));
+- Support curly braces syntax for code blocks (see [#64](https://github.com/fizruk/rzk/pull/64));
+- Update documentation a bit (see [07b520a6](https://github.com/fizruk/rzk/commit/07b520a67eb432105fad908202949c93a1639ca8) and [7cc7f383](https://github.com/fizruk/rzk/commit/7cc7f383b1785130277ed79d123c1dd357162d9d));
+- Factor out Pygments highlighting to https://github.com/fizruk/pygments-rzk;
+- Use new cache action for Nix (see [#60](https://github.com/fizruk/rzk/pull/60)).
+
 ## v0.5.1 — 2022-06-29
 
 This version fixes `Unit` type and makes some changes to documentation:

diff --git a/rzk/package.yaml b/rzk/package.yaml
@@ -1,5 +1,5 @@
 name:                rzk
-version:             0.5.1
+version:             0.5.2
 github:              "fizruk/rzk"
 license:             BSD3
 author:              "Nikolai Kudasov"

diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rzk
-version:        0.5.1
+version:        0.5.2
 synopsis:       An experimental proof assistant for synthetic ∞-categories
 description:    Please see the README on GitHub at <https://github.com/fizruk/rzk#readme>
 category:       Dependent Types

diff --git a/rzk/rzk.nix b/rzk/rzk.nix
@@ -3,7 +3,7 @@
 }:
 mkDerivation {
   pname = "rzk";
-  version = "0.5.1";
+  version = "0.5.2";
   src = ./.;
   isLibrary = true;
   isExecutable = true;