From 2971df0470bb6cd21f55da3562f2805bc5385fae Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Fri, 13 Dec 2024 23:52:38 +0100
Subject: [PATCH] changelog 1.8.0

---
 Changelog.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index 0ef9dbfef..84e912f08 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