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

changelog

parent 85ad825c
No related branches found
No related tags found
1 merge request!594split up list.v into smaller files
Pipeline #119679 passed
...@@ -18,6 +18,11 @@ API-breaking change is listed. ...@@ -18,6 +18,11 @@ API-breaking change is listed.
`StronglySorted_app_inv_l``StronglySorted_app_1_l` `StronglySorted_app_inv_l``StronglySorted_app_1_l`
`StronglySorted_app_inv_r``StronglySorted_app_1_r`. (by Marijn van Wezel) `StronglySorted_app_inv_r``StronglySorted_app_1_r`. (by Marijn van Wezel)
- Add `SetUnfoldElemOf` instance for `dom` on `gmultiset`. (by Marijn van Wezel) - Add `SetUnfoldElemOf` instance for `dom` on `gmultiset`. (by Marijn van Wezel)
- Split up `stdpp.list` into smaller files. Users should keep importing
`stdpp.list`; the organization into smaller modules is considered an
implementation detail. `stdpp.list_numbers` is now re-exported by `stdpp.list`
and also considered part of the list module, so existing imports should be
updated.
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