From 2f7cd183ede0efd55ce6b500189a6c26d968fb76 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 10 Nov 2022 11:30:42 +0100
Subject: [PATCH] close changelog

---
 Changelog.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 89ced8327..e8e36aca5 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,12 @@
 # Changelog
 
-## UNRELEASED
+## [1.16.0] - 10/11/2022
+
+Requires Elpi 1.16.5 and Coq 8.16.
+
+The main change is the `derive` app which must now be loaded
+by importing `derive.std` (just loading `derive` won't work).
+See the [new derive documentation](apps/derive).
 
 ### API
 - Change `coq.env.module` and `coq.env.module-type` do not fail if the