diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 1b4520c1d62137737dd624750fe4c27ff6ce33f5..ff972427bcc7a4d09f205963e2a4040ce20388c1 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) ###############################################################################