From 521d55c96745a18bdbf18038bfba4da9b46c73e1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 16 Dec 2020 11:28:12 +0100
Subject: [PATCH] update changelog

---
 Changelog.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 2ab644b6..f9242d4f 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,8 @@
 # Changelog
 
-## UNRELEASED
+## [1.0.0] - 2020-12-16
+
+Requires Coq-Elpi 1.6 or 1.7 or 1.8 and Coq 8.11 or 8.12 or 8.13.
 
 - Use Coq's elaborator to typecheck factories and structures (coercions are
   now inserted properly)