diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index d2b9699daef769e800d729a962ba4da60e8fd8f4..a44b0e55677d65978a2285ef9087128ea08ed910 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/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}
diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index f23a0c27675b37eca732b9e47b47476262db032b..ac7c25222d034de00b21620cb21e6279c2bb7c7e 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/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}