From 4dc65a93c0430a74a7c678627bb33a2bab998165 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Thu, 27 Jun 2024 11:09:06 +0200
Subject: [PATCH] changelog

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

diff --git a/Changelog.md b/Changelog.md
index 00de0db81..9856d2568 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,15 +1,27 @@
-# Unreleased
+# [2.2.0] - 28/06/2024
 
 Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
 
 ### Build system
 - Change switch to dune
+- New ppx_optcomp to support multiple Coq version
+- New no need for dot-merlin-reader, OCaml's language server understands dune
 
 ### Apps/tc
 - Change supports higher order unification
 - Change syntax to register, enable and disable solver
 - Change solutions found in Elpi are eta-contracted
 
+### API
+- New `coq.debug`
+- New `coq.pstring->string` and `coq.string->pstring`
+- New `@warn!` attribute for `coq.notation.add-abbreviation`
+- New `coq.*.set.min`, `coq.*.set.max`, `coq.*.set.choose`, `coq.*.set.fold`,
+  `coq.*.set.partition`
+- New `coq.*.map.fold`
+
+### HOAS
+- New `primitive (pstring S)` in Coq 8.20
 
 # Changelog