diff --git a/Changelog b/Changelog
index e0472fb787ea02c7da8ce95cd6f2d5469bce6d4c..72a60184ae93578cff9e4d193b20d45ca26714c4 100644
--- a/Changelog
+++ b/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.
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 0060a75cda8dfa2308dca5e503acbdd5ac89e1fc..3f385775d1636b5f4ccba779ca8d0bde3119fbeb 100644
--- a/doc/developer/changes.tex
+++ b/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}
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index 1b8489a9bb509558668f005b7057a4e08c5b7bcc..6279af352920b0f86916390332e4c3306989c24c 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/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}.