From 5e189068cc9ed9fc0963f21396ec14c984547f09 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 16 Dec 2020 11:31:19 +0100
Subject: [PATCH] [e-acsl:refman] keep the next release in comments
---
src/plugins/e-acsl/doc/refman/changes_modern.tex | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 63741120077..4ee9e693bb0 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -151,6 +151,8 @@ in \lstinline|\\at|}
\section{Changes in \eacsl Implementation}
% Next version
+%\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+
\subsection*{Version \eacslplugincodename-\eacslpluginversion}
\begin{itemize}
\item \changeinsection{expressions}{mark logic function and predicate
--
GitLab