diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7ba4c9affd746e83250072cf58ab0fd2dc5cbfba..22c406fd10dd615834f4b4543b635b4566f16613 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,11 @@
 #   configure	configure
 ###############################################################################
 
+-  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
+	        unsoundly converted to floating point numbers.
+
 ##############################
 Plugin E-ACSL 19.0 (Potassium)
 ##############################