diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c90573422be52a7c907c16cf8a120da6b736ec73..99f962f45c67b3038a422bacd9e8cfd729d4174a 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,7 +20,10 @@
 #   <Prover>: prover
 ###############################################################################
 
- - Qed         [2019/05/09] Transforms some boolean quantifications into let constructs
+- WP          [2019/06/27] Improving Cint simplifier and quantifier introduction
+o WP          [2019/06/27] Using the new API of Qed
+o Qed         [2019/06/27] Changes into the API in order to get a more secure way to manipulate quantifiers and binding
+- Qed         [2019/05/09] Transforms some boolean quantifications into let constructs
 ##########################
 Plugin WP 19.0 (Potassium)
 ##########################