diff --git a/CHANGELOG.md b/CHANGELOG.md index 74d202bc9dc2a0d8a3fdf51abb2428b02e16914d..f400544f0f2200e70995b0a9ea69ca27817241f0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,7 +1,7 @@ This file lists "large-ish" changes to the std++ Coq library, but not every API-breaking change is listed. -## std++ 1.1.0 (unfinished) +## std++ 1.1.0 (released 2017-12-19) Coq 8.5 is no longer supported by this release of std++. Use std++ 1.0 if you have to use Coq 8.5.