From ffb33284b130d7ca55924d1a5f5504ee5224fa88 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 22 Nov 2024 10:24:23 +0100
Subject: [PATCH] Update CHANGELOG.md

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fda2237..8ecf82e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Change Log
 
+## 0.0.7
+
+- Syntax for Elpi 2.0
+
 ## 0.0.6
 
 - Drop dependency on maximedenes.vscoq since the extension works with both