From 3498834526d1f9e9b5ba84657a2fb1e01c683bcd Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 12 Jun 2019 16:19:20 +0200
Subject: [PATCH] [Doc/Eva] standardize acknowledgments
---
doc/value/main.tex | 18 ++++++++++--------
1 file changed, 10 insertions(+), 8 deletions(-)
diff --git a/doc/value/main.tex b/doc/value/main.tex
index 529c5a44335..0542c171d2c 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -5387,20 +5387,22 @@ about on line 8, but line 9 needs further investigation).
\section*{Acknowledgments}
Dillon Pariente has provided helpful suggestions on this document
-since it was an early draft. I am especially thankful to him for
+since it was an early draft. We are especially thankful to him for
finding the courage to read it version after version.
Patrick Baudin, Richard Bonichon,
Jochen Burghardt,
G\'eraud Canet, Lo\"\i c Correnson,
David Delmas, Florent Kirchner, David Mentr\'e, Benjamin Monate, Anne Pacalet,
Julien Signoles provided useful comments in the process of
-getting the text to where it is today. Speaking of the text,
-I find awful, awkward constructs in it each time a
-new Frama-C release warrants a new pass on it. On the plus
-side, I am usually happy with it for a few days after each release,
-until I notice another blunder was left in.
-Do not hesitate to report documentation bugs
-at \url{http://bts.frama-c.com/main_page.php}.
+getting the text to where it is today.
+
+%Speaking of the text,
+%I find awful, awkward constructs in it each time a
+%new Frama-C release warrants a new pass on it. On the plus
+%side, I am usually happy with it for a few days after each release,
+%until I notice another blunder was left in.
+%Do not hesitate to report documentation bugs
+%at \url{http://bts.frama-c.com/main_page.php}.
%Illustrations were provided under the Creative Commons
%Attribution-Noncommercial-Share Alike license by members of the flickr
--
GitLab