diff options
| author | Georges Gonthier | 2019-05-22 15:20:24 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 15:20:24 +0200 |
| commit | 497535d575a7f6a20f648441d2f0b5c27fb993a8 (patch) | |
| tree | 6db08821ceb2fa8b6d9a2fdd80c858ccb84d0924 | |
| parent | a49d250228cb6b39d0b991d30e62f432e5db6015 (diff) | |
Update CHANGELOG.md
| -rw-r--r-- | CHANGELOG.md | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index faf1bc2..7f50956 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,11 +1,15 @@ # Changelog All notable changes to this project will be documented in this file. -Last releases: [[1.8.0] - 2019-04-08](#180---2019-04-08) and [[1.7.0] - 2018-04-24](#170---2018-04-24). +Last releases: [[1.9.0] - 2019-05-22](#190---2019-05-22) and [[1.8.0] - 2019-04-08](#180---2019-04-08). The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). -## [Unreleased] +## [1.9.0] - 2019-05-22 + +MathComp 1.9.0 is compatible with Coq 8.7, 8.8, 8.9 and 8.10beta1. +Minor releases will remain compatible with Coq 8.9 and 8.10; compatibility with earlier +versions may be droppped. ### Added @@ -64,6 +68,11 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ### Misc +- removed Coq prelude hints `plus_n_O` `plus_n_Sm` `mult_n_O` `mult_n_Sm`, + to improve robustness of `by ...`; scripts may need to invoke + `addn0`, `addnS`, `muln0` or `mulnS` + explicitly where these hints were used accidentally. + ## [1.8.0] - 2019-04-08 Drop compatibility with Coq 8.6 (OCaml plugin removed). |