diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index e50e5b55446e16fe716ff5acd3c7bfe459b39185..d5e4963f6521e1cb1b4118a55d603636df9b0e2a 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,7 @@ Plugin E-ACSL <next-release> ############################ +- E-ACSL [2021-07-06] Add support for the extended quantifier \sum. -* E-ACSL [2021-06-22] Fix a crash that occured when using certain combinations of nested blocks and annotations. -* E-ACSL [2021-06-16] Fix literal string replacements in function