From e5565eb607458a86010f9e98dd246d2ab26bd0d0 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 27 Jun 2019 14:04:19 +0200
Subject: [PATCH] [wp] Change log

---
 src/plugins/wp/Changelog | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c90573422be..99f962f45c6 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)
 ##########################
-- 
GitLab