# 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.
