From 48ae1978c8c38c9a41832c257f8f0e6b3eb22333 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 1 Jun 2024 14:10:01 +0200
Subject: [PATCH] use more standard format CHANGELOG

---
 CHANGELOG    |  7 -------
 CHANGELOG.md | 20 ++++++++++++++++++++
 2 files changed, 20 insertions(+), 7 deletions(-)
 delete mode 100644 CHANGELOG
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG b/CHANGELOG
deleted file mode 100644
index 8148113..0000000
--- a/CHANGELOG
+++ /dev/null
@@ -1,7 +0,0 @@
-* 31 May 2024: v8.19.1
-
-- [aac_normalise in H] tactic
-- make the order of sums produced by [aac_normalise] consistent across calls
-- gcd/lcm instances for Nat, N, Z
-
-* were not tracked before
diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..9e2bd80
--- /dev/null
+++ 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