From 530ad9666c0bc96f215e2a80f57dac7358a7d96f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 30 May 2022 14:13:53 +0200
Subject: [PATCH] [doc] userman changelog (removed journal)
---
doc/userman/user-changes.tex | 17 +++++++++++------
1 file changed, 11 insertions(+), 6 deletions(-)
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index 9a37650c699..60d058461dc 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,6 +3,11 @@
This chapter summarizes the changes in this documentation between each \FramaC
release. First we list changes of the last release.
+\section*{Frama-C+dev}
+\begin{itemize}
+\item Removed Journalisation
+\end{itemize}
+
\section*{24.0 (Chromium)}
\begin{itemize}
\item \textbf{Standard library (libc):} Section added
@@ -132,9 +137,9 @@ in using the Frama-C OPAM package.
active by default.
\item \textbf{Normalizing the Source Code:} added section about macros
predefined by \FramaC (Section~\ref{sec:predefined-macros}).
-\item \textbf{Normalizing the Source Code:} document new option
+\item \textbf{Normalizing the Source Code:} document new option
\texttt{-custom-annot-char} (Section~\ref{sec:normalize})
-\item \textbf{Normalizing the Source Code:} document handling of
+\item \textbf{Normalizing the Source Code:} document handling of
new file suffix \texttt{.ci} (Section~\ref{sec:preprocessing})
\item \textbf{Preparing the Sources:} option \texttt{-warn-undefined-callee}
changed to \\ \texttt{-implicit-function-declaration warn}.
@@ -158,14 +163,14 @@ predefined by \FramaC (Section~\ref{sec:predefined-macros}).
\section*{Neon-20140*01}
\begin{itemize}
-\item \textbf{Getting Started:} fixes list of requirements
+\item \textbf{Getting Started:} fixes list of requirements
for compiling \FramaC.
\item \textbf{Preparing the Sources:} new option \texttt{-aggressive-merging}
\item \textbf{General Kernel Services:} change the default name of the journal.
-\item \textbf{Getting Started:}
+\item \textbf{Getting Started:}
new options \texttt{-config} and \texttt{-<plug-in shortname>-config}, as
well as new environment variable \texttt{FRAMAC\_CONFIG}.
-\item \textbf{Getting Started:}
+\item \textbf{Getting Started:}
new options \texttt{-session} and \texttt{-<plug-in shortname>-session}, as
well as new environment variable \texttt{FRAMAC\_SESSION}.
\item \textbf{Getting Started:} document option \texttt{-unicode}.
@@ -188,7 +193,7 @@ predefined by \FramaC (Section~\ref{sec:predefined-macros}).
\section*{Oxygen-20120901}
\begin{itemize}
-\item \textbf{Analysis Option:} better documentation of
+\item \textbf{Analysis Option:} better documentation of
\texttt{-unspecified-access}
\item \textbf{Preparing the Sources:} better documentation of \texttt{-pp-annot}
\item \textbf{Preparing the Sources:} pragma \texttt{UNROLL\_LOOP} is
--
GitLab