Adds headers for the upcoming Frama-C 26.0 (Iron) release in Changelogs.

Changelog

@@ -18,6 +18,10 @@
 Open Source Release <next-release>
 ##################################
 
+###############################
+Open Source Release 26.0 (Iron)
+###############################
+
 -   Ivette    [2022-10-26] After an Eva analysis with taint, the taint status of
               lvalues is shown in the Inspector component and in Dive graphs.
 -   Eva       [2022-10-25] The octagon domain can infer relations on the integer

doc/developer/changes.tex

@@ -5,7 +5,12 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-\section*{dev}
+%\section*{dev}
+%\begin{itemize}
+%\item …
+%\end{itemize}
+
+\section*{26.0 Iron}
 \begin{itemize}
 \item \textbf{Journalisation}: Journalisation has been removed.
 \end{itemize}

doc/userman/user-changes.tex

@@ -3,7 +3,12 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
-\section*{Frama-C+dev}
+%\section*{Frama-C+dev}
+%\begin{itemize}
+%\item …
+%\end{itemize}
+
+\section*{26.0 (Iron)}
 \begin{itemize}
 \item Removed Journalisation
 \item \textbf{Preparing the Sources:} added option \texttt{-ast-diff}.

src/plugins/e-acsl/doc/Changelog

@@ -25,6 +25,10 @@
 Plugin E-ACSL <next-release>
 ############################
 
+#########################
+Plugin E-ACSL 26.0 (Iron)
+#########################
+
 -* E-ACSL       [2022-11-08] Fix clashing name when a function with contract and a
                 logic function have the same name (frama-c/eacsl#204)
 - E-ACSL        [2022-11-08] Add support for functions returning a rational

src/plugins/wp/Changelog

@@ -24,6 +24,10 @@
 Plugin WP <next-release>
 ########################
 
+#####################
+Plugin WP 26.0 (Iron)
+#####################
+
 - WP          [2022-10-14] 'calls' ACSL extension moved into the kernel;
                            option -wp-dynamic marked as obsolete
 - WP          [2022-09-16] Upgrade to Why3 1.5.1