From 3b54ca9baaf57480925e30c05b59edb95d2f39d6 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 14 May 2024 14:43:06 +0200
Subject: [PATCH] Release 29.0~beta

---
 releases/29.0.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/releases/29.0.md b/releases/29.0.md
index cf8d2caa14a..d408385573d 100644
--- a/releases/29.0.md
+++ b/releases/29.0.md
@@ -3,7 +3,6 @@
 - Refactor current location handling mechanism
 - Removal of Db (Db.Main.extend is deprecated). Features related to asynchronous
   interactions are now handled in module Async
-- Merged AST nodes TCastE and TLogic_coerce
 - Various fixes and improvements
 
 # Alias
@@ -19,11 +18,12 @@
 - Remove option -e-acsl-version
 
 # WP
-- Introduce goal visualization and tactics in Ivette
-- Introduce counter examples via the new option -wp-counter-examples. Also
-  introduce an ACSL extension to create probes on terms for counter examples.
+- Generation of counter examples, see option -wp-counter-examples
+- Upgrade to Why3 1.7.x and improved prover selection
+- Extended support for Ivette
 
 # Ivette
+- Revamped workspace (tabs, views, dock, alerts, …)
+- Types and Globals navigation
 - Better feedback on Eva values evaluation
-- Improved responsiveness when handling large code
-- Several quality-of-life fixes and improvements
+- Extended support for WP
-- 
GitLab