Commit 1dafe0b6 authored by Ralf Jung's avatar Ralf Jung

expand changelog

parent 4507a8fb
Pipeline #5970 passed with stages
in 10 minutes and 24 seconds
...@@ -3,6 +3,9 @@ API-breaking change is listed. ...@@ -3,6 +3,9 @@ API-breaking change is listed.
## std++ 1.1.0 (unfinished) ## std++ 1.1.0 (unfinished)
Coq 8.5 is no longer supported by this release of std++. Use std++ 1.0 if you
have to use Coq 8.5.
New features: New features:
- Many new lemmas about lists, vectors, sets, maps. - Many new lemmas about lists, vectors, sets, maps.
...@@ -20,6 +23,8 @@ New features: ...@@ -20,6 +23,8 @@ New features:
Changes: Changes:
- Get rid of `Automatic Coercions Import`, it is deprecated. - Get rid of `Automatic Coercions Import`, it is deprecated.
Also get rid of `Set Asymmetric Patterns`.
- Various changes and improvements to `f_equiv` and `solve_proper`.
- `Hint Mode` is now set for all operational type classes to make instance - `Hint Mode` is now set for all operational type classes to make instance
search less likely to diverge. search less likely to diverge.
- New type class `RelDecision` for decidable relations, and `EqDecision` is - New type class `RelDecision` for decidable relations, and `EqDecision` is
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment