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

add changelog for BSD build script fix

parent f2a1f915
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
CHANGELOG.md
+ 1
− 0
View file @ d80bbc1e
...@@ -10,6 +10,7 @@ API-breaking change is listed. ...@@ -10,6 +10,7 @@ API-breaking change is listed.
- Add support for compiling the packages with dune. (by Rodolphe Lepigre) - Add support for compiling the packages with dune. (by Rodolphe Lepigre)
- Add lemmas `gset_to_gmap_singleton`, `difference_union_intersection`, - Add lemmas `gset_to_gmap_singleton`, `difference_union_intersection`,
`difference_union_intersection_L`. (by Léo Stefanesco) `difference_union_intersection_L`. (by Léo Stefanesco)
- Make the build script compatible with BSD systems. (by Yiyun Liu)
## std++ 1.10.0 (2024-04-12) ## std++ 1.10.0 (2024-04-12)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment