diff --git a/CHANGELOG.md b/CHANGELOG.md index 2a9613b8417414d0560d70e911c7758c11345977..bfd34d6d6e5c3ecf58b15f1ab4200d4153465cd1 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,10 +1,10 @@ This file lists "large-ish" changes to the std++ Coq library, but not every API-breaking change is listed. -## 1.11.0 (2024-10-29) +## 1.11.0 (2024-10-30) The highlights of this release include: -* dune compilation support +* support for building with dune * stronger versions of the induction principles for `map_fold`, exposing the order in which elements are processed