diff --git a/CHANGELOG.md b/CHANGELOG.md index 3af4c73bbe572545c84e05dbf3af36bc5e19ff76..26f8e7cb1c288d876dc378e47693106668377365 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,4 +1,4 @@ -This file lists "large-ish" changes to the std++ Coq development, but not every +This file lists "large-ish" changes to the std++ Coq library, but not every API-breaking change is listed. ## std++ 1.1.0 (unfinished)