diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index d9bb44c7d8dce867b8d4f41d0af82ffe7febd3f2..36f1ff2a80e090c0eb193a7a38d7064fafca7846 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -19,6 +19,10 @@ # configure configure ############################################################################### +########################## +Plugin E-ACSL 18.0 (Argon) +########################## + -* E-ACSL [2018/10/23] Fix bug #2406 about monitoring of variables with incomplete types. -* E-ACSL [2018/10/04] Fix bug #2386 about incorrect typing when