diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index a818c3457..6524294a0 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -6,11 +6,31 @@ 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/). +## v2.1.0 - 2024-11-22 + +## Breaking changes + +- Rename `transform` to `rewrite` in the `eo-phi-normalizer` CLI ([#369](https://github.com/objectionary/eo-phi-normalizer/pull/369)) + +## New + +- Add new rules ([#523](https://github.com/objectionary/eo-phi-normalizer/pull/523)) +- Add new rules tests ([#540](https://github.com/objectionary/eo-phi-normalizer/pull/540)) + +### Documentation and maintenance + +- Annotate files with copyright ([#536](https://github.com/objectionary/eo-phi-normalizer/pull/536)) +- Move docs for user-defined rules to a separate page ([#524](https://github.com/objectionary/eo-phi-normalizer/pull/524)) +- Document the release procedure ([#532](https://github.com/objectionary/eo-phi-normalizer/pull/532)) + ## v2.0.0 - 2024-11-18 -### New +## Breaking changes - Rename `normalizer` to `eo-phi-normalizer` everywhere ([#494](https://github.com/objectionary/eo-phi-normalizer/pull/494)) + +### New + - Add `eo-phi-normalizer version` command ([#493](https://github.com/objectionary/eo-phi-normalizer/pull/493)) - Add `eo-phi-normalizer test` command ([#498](https://github.com/objectionary/eo-phi-normalizer/pull/498)) diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index 1c751b9ce..9304d4229 100644 --- a/eo-phi-normalizer/eo-phi-normalizer.cabal +++ b/eo-phi-normalizer/eo-phi-normalizer.cabal @@ -5,7 +5,7 @@ cabal-version: 1.24 -- see: https://github.com/sol/hpack name: eo-phi-normalizer -version: 2.0.0 +version: 2.1.0 synopsis: Command line normalizer of 𝜑-calculus expressions. description: Please see the README on GitHub at homepage: https://github.com/objectionary/eo-phi-normalizer#readme diff --git a/eo-phi-normalizer/package.yaml b/eo-phi-normalizer/package.yaml index 981e139c2..7b80a1307 100644 --- a/eo-phi-normalizer/package.yaml +++ b/eo-phi-normalizer/package.yaml @@ -22,7 +22,7 @@ name: eo-phi-normalizer synopsis: "Command line normalizer of 𝜑-calculus expressions." -version: 2.0.0 +version: 2.1.0 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team" diff --git a/site/docs/src/installation.md b/site/docs/src/installation.md index c64944ece..735aadbd6 100644 --- a/site/docs/src/installation.md +++ b/site/docs/src/installation.md @@ -32,7 +32,7 @@ Use the necessary version in the `stack install` command. ```sh stack update export LC_ALL=C.UTF-8 -stack install --resolver lts-22.16 eo-phi-normalizer-2.0.0 +stack install --resolver lts-22.16 eo-phi-normalizer-2.1.0 ``` ## Update `eo-phi-normalizer`