Release of 29.0 (Copper)

ALL_VERSIONS

 Version number			Date of release		Notes
 ==============			===============		=====
+29.0 (Copper)                   2024, June 6
 28.1 (Nickel)                   2024, March 24          Bugs fixed
 28.0 (Nickel)                   2023, November 29
 27.1 (Cobalt)                   2023, July 18

VERSION

-29.0~beta
+29.0

opam

 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "29.0~beta"
+version: "29.0"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
@@ -75,7 +75,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-29.0-beta-Copper.pdf"
+doc: "http://frama-c.com/download/user-manual-29.0-Copper.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"

releases/29.0.md

@@ -23,7 +23,8 @@
 - Extended support for Ivette
 
 # Ivette
-- Revamped workspace (tabs, views, dock, alerts, …)
+- Revamped workspace (tabs, views, dock, alerts, notifications, …)
 - Types and Globals navigation
 - Better feedback on Eva values evaluation
 - Extended support for WP
+- Improve performances