diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 22c406fd10dd615834f4b4543b635b4566f16613..79d17b198b14550ca3b0c3b21e044a04a166b24b 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -19,6 +19,10 @@ # configure configure ############################################################################### +############################ +Plugin E-ACSL 20.0 (Calcium) +############################ + - E-ACSL [2019/08/28] Support of rational numbers and operations. -! E-ACSL [2019/08/28] Deactivate the unsound support of real numbers (that are not rationals). They were previously