From df571aaf8a4199af7bba06fe4edd8dc7838da095 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Fri, 16 Jun 2023 00:40:13 +0300 Subject: [PATCH] Bump version and update changelog --- rzk/ChangeLog.md | 11 +++++++++++ rzk/package.yaml | 2 +- rzk/rzk.cabal | 2 +- 3 files changed, 13 insertions(+), 2 deletions(-) diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md index 49e06a096..d581f2b04 100644 --- a/rzk/ChangeLog.md +++ b/rzk/ChangeLog.md @@ -6,6 +6,17 @@ 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.4.1 — 2022-06-16 + +This is version contains minor changes, primarily in tools around rzk: + +- Add `rzk version` command (see [f1709dc7]( https://github.com/fizruk/rzk/commit/f1709dc7 )); +- Add action to release binaries (see [9286afae]( https://github.com/fizruk/rzk/commit/9286afae )); +- Automate SVG rendering in MkDocs (see [#49]( https://github.com/fizruk/rzk/pull/49 )); +- Read `stdin` when no filepaths are given (see [936c15a3]( https://github.com/fizruk/rzk/commit/936c15a3 )); +- Add Pygments highlighting (see [01c2a017]( https://github.com/fizruk/rzk/commit/01c2a017 ), [cbd656cc]( https://github.com/fizruk/rzk/commit/cbd656cc ), [5220ddf9]( https://github.com/fizruk/rzk/commit/5220ddf9 ), [142ec003]( https://github.com/fizruk/rzk/commit/142ec003 ), [5c7425f2]( https://github.com/fizruk/rzk/commit/5c7425f2 )); +- Update HighlightJS config for rzk v0.4.0 (see [171ee63f]( https://github.com/fizruk/rzk/commit/171ee63f )); + ## v0.4.0 — 2022-05-18 This version introduces sections and variables. The feature is similar to `Variable` command in Coq. An important difference, however, is that `rzk` does not allow definitions to use variables implicitly and adds `uses (...)` annotations to ensure such dependencies are not accidental. diff --git a/rzk/package.yaml b/rzk/package.yaml index f4c799e65..c86345ed9 100644 --- a/rzk/package.yaml +++ b/rzk/package.yaml @@ -1,5 +1,5 @@ name: rzk -version: 0.4.0 +version: 0.4.1 github: "fizruk/rzk" license: BSD3 author: "Nikolai Kudasov" diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal index 595b18153..d26c8afd9 100644 --- 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.4.0 +version: 0.4.1 synopsis: An experimental proof assistant for synthetic ∞-categories description: Please see the README on GitHub at category: Dependent Types