From 875c74bb1b3d10cbc959c4db53af62331f281d6b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 29 Nov 2023 17:45:51 +0100
Subject: [PATCH] [e-acsl] update refman version following ACSL release
---
src/plugins/e-acsl/doc/refman/changes_modern.tex | 5 +++++
src/plugins/e-acsl/doc/refman/main.tex | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index a44b0e55677..67f69818241 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 ac7c25222d0..c927ccde843 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}
--
GitLab