From 2e0fa70fcda23006f5228b7a9d40e534155e8850 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 17 May 2021 09:52:02 +0200
Subject: [PATCH] [manuals] update version name of Changelog section

---
 doc/aorai/main.tex           | 2 +-
 doc/developer/changes.tex    | 2 +-
 doc/userman/user-changes.tex | 2 ++
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index de6c643df76..fb5ad22239e 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -1244,7 +1244,7 @@ The plug-in is composed of three parts:
 
 
 \section{Recent updates}
-\subsection{Frama-C+dev}
+\subsection{Frama-C Vanadium}
 \begin{itemize}
 \item Documentation for options \texttt{-aorai-no-generate-annotations}
 and \texttt{-aorai-smoke-tests}
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 42a4dfd7940..2fa1fc1995b 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*{23.0 Vanadium}
 \begin{itemize}
 \item \textbf{Testing}: Document new directive \texttt{EXIT}.
 \end{itemize}
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index 77cd9c6fca0..bef69332908 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,6 +3,8 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
+\section*{23.0 (Vanadium)}
+
 \begin{itemize}
 \item \textbf{Platform-wide Analysis Option:} swap argument order of
   \texttt{-add-symbolic-path} (now uses \texttt{path:name}).
-- 
GitLab