Update CHANGELOG.md

LPCIC · Nov 22, 2024 · ffb3328 · ffb3328
1 parent 6bab9a2
commit ffb3328
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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