diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index a44b0e55677d65978a2285ef9087128ea08ed910..67f698182412223e3aa480d0380c5b2c81f368f1 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -2,6 +2,11 @@
 
 % Next version
 \subsection*{Version \version}
+\begin{itemize}
+  \item No changes: changes in \acsl 1.20 do not impact \eacsl.
+\end{itemize}
+
+\subsection*{Version 1.19}
 \begin{itemize}
   \item Update according to \acsl 1.19
     \begin{itemize}
diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index ac7c25222d034de00b21620cb21e6279c2bb7c7e..c927ccde843f89b6c12efcde5f0045979fa252a2 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.19\xspace}
+\newcommand{\eacsllangversion}{1.20\xspace}
 \newcommand{\version}{\eacsllangversion\xspace}
 
 \renewcommand{\textfraction}{0.01}