diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 5aa1399cd5363d74f3040ec7103cf9d70e705e9b..89919807757bd5fd4baf3c10de1a9b05cd2773e1 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
 Plugin E-ACSL Phosphorus-20170515
 #################################
 
+-! E-ACSL       [2017/05/19] Add --temporal option to e-acsl.gcc.sh
+-! E-ACSL       [2017/05/19] Enable analysis for temporal errors in E-ACSL
 -! E-ACSL       [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh
 -! E-ACSL       [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh
 -! E-ACSL       [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing