From e87b1bb956c724777e4ce6a17e0edb87af55ac9c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 8 Oct 2018 09:55:57 +0200
Subject: [PATCH] [userman] fix Chlorine's changes
---
src/plugins/e-acsl/doc/userman/changes.tex | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index 7ba7552f534..b4969d93baf 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -3,12 +3,6 @@
This chapter summarizes the changes in this documentation between each \eacsl
release. First we list changes of the last release.
-\begin{itemize}
-\item New section \textbf{Additional Verifications}.
-\item Update each section with respect to the changes introduced since \eacsl
- Sulfur-20180101.
-\end{itemize}
-
\section*{E-ACSL \eacslversion}
\begin{itemize}
@@ -24,7 +18,9 @@ release. First we list changes of the last release.
\section*{E-ACSL Chlorine-20180501}
\begin{itemize}
-\item no changes
+\item New section \textbf{Additional Verifications}.
+\item Update every section with respect to the changes introduced since \eacsl
+ Sulfur-20180101.
\end{itemize}
\section*{E-ACSL Sulfur-20180101}
--
GitLab