diff --git a/src/plugins/e-acsl/doc/Makefile.common b/src/plugins/e-acsl/doc/Makefile.common
index 98ee1d0d781dd6339e17776ef4d08bca27c3c2e8..401488851dffe90acdef46c2121e429d115d41c2 100644
--- a/src/plugins/e-acsl/doc/Makefile.common
+++ b/src/plugins/e-acsl/doc/Makefile.common
@@ -1,7 +1,9 @@
 # Common makefile for both refman and userman
 
 VERSION_FILE=$(wildcard ../../../../../VERSION)
+CODENAME_FILE=$(wildcard ../../../../../VERSION_CODENAME)
 EACSL_VERSION=$(shell cat $(VERSION_FILE))
+EACSL_CODENAME=$(shell cat $(CODENAME_FILE))
 FC_VERSION=$(shell cat $(VERSION_FILE))
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern
@@ -10,9 +12,10 @@ include $(EACSL_DIR)/doc/support/MakeLaTeXModern
 # Generic rules #
 #################
 
-eacslversion.tex: Makefile $(VERSION_FILE)
+eacslversion.tex: Makefile $(VERSION_FILE) $(CODENAME_FILE)
 	rm -f $@
 	printf '\\newcommand{\\eacslpluginversion}{$(EACSL_VERSION)\\xspace}\n' > $@
+	printf '\\newcommand{\\eacslplugincodename}{$(EACSL_CODENAME)\\xspace}\n' >> $@
 	printf '\\newcommand{\\fcversion}{$(FC_VERSION)\\xspace}\n' >> $@
 	chmod a-w $@
 
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 43abe7595881b43a5c89f9168f0982a7b04e2dd2..44fd0956cf002e4351ef415c6d05236d4e67534e 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -1,6 +1,9 @@
 \section{Changes}
 
-\subsection*{Version \version}
+% Next version
+%\subsection*{Version \version}
+
+\subsection*{Version 1.16}
 \begin{itemize}
   \item Update according to \acsl 1.16
   \begin{itemize}
@@ -147,6 +150,9 @@ in \lstinline|\\at|}
     {
 \section{Changes in \eacsl Implementation}
 
+% Next version
+%\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+
 \subsection*{Version Titanium-22}
 
 \begin{itemize}
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index a96a51aa43ba5125e0b05d9c209a6c45ff75909b..0d53e9d25dceefdf9e5f1d2e1f31a7288909e102 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -3,6 +3,9 @@
 This chapter summarizes the changes in this documentation between each \eacsl
 release. First we list changes of the last release.
 
+% Next version
+%\section*{E-ACSL \eacslpluginversion \eacslplugincodename}
+
 \section*{E-ACSL 22.0 Titanium}
 
 \begin{itemize}
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 3e3ce0bed39c979dc76141f7ab804793b492fd88..746d1444a183830b0a0579fa2694c3697e0d7f74 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -17,7 +17,7 @@
 \includegraphics[height=14mm]{cealistlogo.jpg}
 \end{flushleft}
 \vfill
-\title{\eacsl Plug-in}{Release \eacslpluginversion
+\title{\eacsl Plug-in}{Release \eacslpluginversion (\eacslplugincodename)
  \ifthenelse{\equal{\eacslpluginversion}{\fcversion}}{}{%
    \\[1em] compatible with \framac \fcversion}}
 \author{Julien Signoles, Basile Desloges and Kostyantyn Vorobyov}