diff --git a/Changelog.md b/Changelog.md index dc86c4b2f..273d83c89 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,6 +1,6 @@ # Changelog -## Unreleased +## [1.10.0] - 21-05-2021 Requires Elpi 1.13.5 and Coq 8.13.