[e-acsl] add Changelog header for 20.0

f0da55c1 · Andre Maroneze · 32ac67fc · f0da55c1
Commit f0da55c1 authored 5 years ago by Andre Maroneze
--- 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