Merge pull request #129 from math-comp/release-1.0.0

Close changelog for 1.0.0
math-comp · Dec 16, 2020 · 8add15e · 8add15e
2 parents 9c382d0 + 521d55c
commit 8add15e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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)