[doc] userman changelog (removed journal)

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