From 2971df0470bb6cd21f55da3562f2805bc5385fae Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Fri, 13 Dec 2024 23:52:38 +0100 Subject: [PATCH 1/2] changelog 1.8.0 --- Changelog.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/Changelog.md b/Changelog.md index 0ef9dbfe..84e912f0 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,5 +1,19 @@ # Changelog +## [1.8.0] - 2024-12-13 + +Compatible with +- Coq 8.18 with Coq-Elpi 2.0.0 +- Coq 8.19 with Coq-Elpi 2.0.1 +- Coq 8.20 with Coq-Elpi 2.2.x and 2.3.x + +### General +- **Bugfixes** several error messages have been fixed to display more + faithful error messages. +- **New warning** in case no instance is created. +- **Bugfixes** the regression which forbad dependent functions to be + instances has been fixed. + ## [1.7.1] - 2024-12-06 Compatible with From 5f6df35e9486758df34af1f28a7ce76cc981bffe Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Sat, 14 Dec 2024 00:41:02 +0100 Subject: [PATCH 2/2] Update Changelog.md --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 84e912f0..beea4b5e 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,6 +1,6 @@ # Changelog -## [1.8.0] - 2024-12-13 +## [1.8.0] - 2024-12-14 Compatible with - Coq 8.18 with Coq-Elpi 2.0.0