From 9728e87726b3420560ca51a2bffd3df9da7e465d Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 20 Dec 2024 12:26:39 +0100
Subject: [PATCH] [wp] Changelog

---
 src/plugins/wp/Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 1b4520c1d62..ff972427bcc 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ###############################################################################
 
+- Gui         [2024-12-20] Ivette can start interactive provers
+
 ###############################################################################
 Plugin WP 30.0 (Zinc)
 ###############################################################################
-- 
GitLab