From fef0e19fadf132ac66f9f3c82777d31ab5f27fc4 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 18 Sep 2018 15:39:06 +0200
Subject: [PATCH] [refman] rewrite foreword
---
src/plugins/e-acsl/doc/refman/main.tex | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index fb3dabe02dc..e5704ebffee 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -70,21 +70,20 @@ CEA LIST, Software Reliability Laboratory\\
\chapter*{Foreword}
-This is a preliminary design of the \eacsl language, a deliverable of
-the task 3.4 of the FUI-9 project Hi-Lite
-(\url{http://www.open-do.org/projects/hi-lite}).
-
-This is the version \version{} of \eacsl design based on \acsl version
-\acslversion~\cite{acsl}. Several features may still evolve in the future.
+This document describes version \version of the \eacsl specification
+language. It is based on the \acsl specification language~\cite{acsl}. Features
+of both languages may still evolve in the future, even if we do our best to
+preserve backward compatibility.
\section*{Acknowledgements}
We gratefully thank all the people who contributed to this document:
Patrick Baudin,
Bernard Botella,
-Loïc Correnson,
+Lo\"ic Correnson,
Pascal Cuoq,
Johannes Kanig,
+Fonenantsoa Maurica,
David Mentr\'e,
Benjamin Monate,
Yannick Moy and
--
GitLab