use more standard format CHANGELOG

coq-community · Jun 1, 2024 · 48ae197 · 48ae197
1 parent 1b7a410
commit 48ae197
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 7 deletions.
diff --git a/CHANGELOG b/CHANGELOG
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -0,0 +1,20 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
+
+## [Unreleased]
+
+## [8.19.1] - 2024-06-01
+
+### Added
+
+- `aac_normalise in H` tactic.
+- `gcd` and `lcm` instances for `Nat`, `N`, and `Z`.
+
+### Fixed
+
+- Make the order of sums produced by `aac_normalise` tactic consistent across calls.
+
+[Unreleased]: https://github.com/coq-community/chapar/compare/v8.19.1...master
+[8.19.1]: https://github.com/coq-community/chapar/releases/tag/v8.19.1