Skip to content
Snippets Groups Projects
Commit 9c125edf authored by Ralf Jung's avatar Ralf Jung
Browse files

fix changelog position for lookup_total_fmap

parent 9e1cd491
No related branches found
No related tags found
No related merge requests found
Pipeline #114825 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
CHANGELOG.md
+ 1
− 1
View file @ 9c125edf
...@@ -4,6 +4,7 @@ API-breaking change is listed. ...@@ -4,6 +4,7 @@ API-breaking change is listed.
## std++ master ## std++ master
- Add `disj_union_list` and associated lemmas for `gmultiset`. (by Marijn van Wezel) - Add `disj_union_list` and associated lemmas for `gmultiset`. (by Marijn van Wezel)
- Add lemma `lookup_total_fmap`.
## std++ 1.11.0 (2024-10-30) ## std++ 1.11.0 (2024-10-30)
...@@ -210,7 +211,6 @@ Pierre Roux, and Thibaut Pérami. Thanks a lot to everyone involved! ...@@ -210,7 +211,6 @@ Pierre Roux, and Thibaut Pérami. Thanks a lot to everyone involved!
`stdpp.unstable.bitvector_tactics` to `stdpp.bitvector.tactics`. The `stdpp.unstable.bitvector_tactics` to `stdpp.bitvector.tactics`. The
complete library can be imported with `stdpp.bitvector.bitvector`. complete library can be imported with `stdpp.bitvector.bitvector`.
(by Michael Sammler) (by Michael Sammler)
- Add lemma `lookup_total_fmap`.
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% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment