Release 29.0~beta

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