Start a changelog

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.