diff --git a/Changelog.md b/Changelog.md index f29f1052f..fe51b0b14 100644 --- 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