Merge branch 'stable/manganese'

Changelog

@@ -18,6 +18,10 @@
 Open Source Release <next-release>
 ##################################
 
+####################################
+Open Source Release 25.0 (Manganese)
+####################################
+
 o   Kernel    [2022-05-03] Prototype of AST comparison between two versions
               of the same program, via the new option -ast-diff.
 -   Eva       [2022-05-02] Fixes stack overflow errors on very large C functions.

doc/developer/changes.tex

@@ -5,7 +5,7 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-\section*{dev}
+\section*{25.0 Manganese}
 \begin{itemize}
 \item \textbf{Testing}: Document new directives (\texttt{PLUGIN}, \texttt{SCRIPT} and \texttt{LIBS}) and new predefined macros for \texttt{ptests}.
 \end{itemize}

src/plugins/e-acsl/doc/userman/changes.tex

@@ -6,7 +6,7 @@ release. First we list changes of the last release.
 % Next version
 %\section*{E-ACSL \eacslpluginversion \eacslplugincodename}
 
-\section*{E-ACSL \eacslpluginversion \eacslplugincodename}
+\section*{E-ACSL 25.0 Manganese}
 
 \begin{itemize}
 \item New section \textbf{Concurrency Support}.