close changelog

LPCIC · May 15, 2024 · bf5584b · bf5584b
1 parent 92f5a61
commit bf5584b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,7 +1,16 @@
 # Changelog
 
+## [2.1.1] - 15/05/2024
+
+Requires Elpi 1.18.2 and Coq 8.19.
+
+### Commands
+- Fix initial synterp state of commands with a synterp phase
+
 ## [2.1.0] - 29/03/2024
 
+Requires Elpi 1.18.2 and Coq 8.19.
+
 ### Commands
 - New `Elpi Accumulate dbname File filename` allows to accumulate a file int a db
 - Change `Elpi Db` now only creates (and initialises) a database for the specified phase