Skip to content
Snippets Groups Projects
Commit 05281d98 authored by Michael Sammler's avatar Michael Sammler
Browse files

Add CHANGELOG

parent c0f8d45c
No related branches found
No related tags found
1 merge request!392Add map_agree
Pipeline #70011 passed
...@@ -27,6 +27,8 @@ Coq 8.11 is no longer supported. ...@@ -27,6 +27,8 @@ Coq 8.11 is no longer supported.
- Add `case_match eqn:H` that behaves like `case_match` but allows naming the - Add `case_match eqn:H` that behaves like `case_match` but allows naming the
generated equality. (by Michael Sammler) generated equality. (by Michael Sammler)
- Flip direction of `map_disjoint_fmap`. - Flip direction of `map_disjoint_fmap`.
- Add `map_agree` as a weaker version of `##ₘ` which requires the maps to agree
on keys contained in both maps. (by Michael Sammler)
The following `sed` script should perform most of the renaming The following `sed` script should perform most of the renaming
(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`). (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment