CHANGELOG.md

Changelog

All notable changes to this project will be documented in this file.

Last releases: [9.0.0] - 2023-03-15.

The format is based on Keep a Changelog.

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