Merge branch 'fix/e-acsl/doc/refman-version' into 'stable/cobalt'

[e-acsl] Refman: Version 1.19

See merge request frama-c/frama-c!4209

src/plugins/e-acsl/doc/refman/changes_modern.tex

@@ -3,13 +3,18 @@
 % Next version
 \subsection*{Version \version}
 \begin{itemize}
-  \item Update according to \acsl 1.18
+  \item Update according to \acsl 1.19
     \begin{itemize}
     \item \changeinsection{memory}{add the \lstinline|\\object_pointer| and
-    \lstinline|\\pointer_comparable| built-in predicates.}
+    \lstinline|\\pointer_comparable| built-in predicates}
     \end{itemize}
 \end{itemize}
 
+\subsection*{Version 1.18}
+\begin{itemize}
+  \item No changes: changes in \acsl 1.18 do not impact \eacsl.
+\end{itemize}
+
 \subsection*{Version 1.17}
 \begin{itemize}
   \item \changeinsection{expressions}{xor \lstinline|\^\^| is not lazy}
@@ -18,7 +23,7 @@
     operations over them}
   \item \changeinsection{locations}{new extended syntax for set comprehensions}
   \item \changeinsection{at}{more restrictive scoping rule for \lstinline|\\at|
-    constructs.}
+    constructs}
   \item \changeinsection{logicspec}{add lemmas and data invariants}
   \item \changeinsection{inductivepredicates}{add inductive predicates
     experimentally: the accepted subset will be refined in a future version}

src/plugins/e-acsl/doc/refman/main.tex

@@ -24,7 +24,7 @@
 \usepackage{alltt}
 \makeindex
 
-\newcommand{\eacsllangversion}{1.18\xspace}
+\newcommand{\eacsllangversion}{1.19\xspace}
 \newcommand{\version}{\eacsllangversion\xspace}
 
 \renewcommand{\textfraction}{0.01}