What's Changed
- Adapt to coq/coq#6134 by @proux01 in #118
- Remove deprecated files in Coq.Arith by @Villetaneuse in #121
- Fix for a new rapply tactic by @JasonGross in #78
- Add Module instance for polynomials by @tymmym in #50
- Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level by @herbelin in #122
- Adapt to coq/coq#18590 by @proux01 in #123
- Remove the few instances of non-global hint declarations. by @ppedrot in #126
- Adapt to coq/coq#18880 by @proux01 in #127
Full Changelog: 8.18.0...8.19.0
Contributors
JasonGross, herbelin, and 4 other contributors