diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 386e5b6343c61374c28348b0c5585bcc7da68126..e4aa0f93664f21714dc75697c428361921475c20 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,8 +15,6 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### -o E-ACSL [2016/02/03] Added scripts/testrun.sh - a convenience wrapper - around e-acsl-gcc.sh for use with testing. -* E-ACSL [2016/01/15] Fix installation with custom --prefix. -* E-ACSL [2016/01/05] Fix bug in the memory model that caused the tracked size of heap memory be computed incorrectly.