From 7f2c390e9d71037e4248c79c74fbf81067948b19 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 15 Mar 2023 08:57:35 +0100
Subject: [PATCH] Start a changelog

---
 CHANGELOG.md | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..126d17b
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,36 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+Last releases: [[9.0.0] - 2023-03-15](#900---2023-03-15).
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
+
+## [Unreleased]
+
+### Added
+
+### Changed
+
+### Renamed
+
+### Removed
+
+### Misc
+
+## [9.0.0] - 2023-03-15
+
+### Removed
+
+- in `BigN.v`:
+  + notation `[ _ ]%bigN`, use `BigN.to_Z` instead
+
+- in `BigZ.v`:
+  + notation `[ _ ]%bigZ`, use `BigZ.to_Z` instead
+
+- in `BigQ.v`:
+  + notation `[ _ ]%bigQ`, use `BigQ.to_Q` instead
+
+## Prior to [9.0.0]
+
+No changelog, some information might still be found in the changelog
+of Coq at the time this used to be part of the standard library.