Hugo and Maxime's 2nd pass of comments

1 files changed, 12 insertions, 14 deletions

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index 6ba2f850e..29ae51fea 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -1108,7 +1108,7 @@ over 100 contributions integrated. The main user visible changes are:
   of intro-patterns by Hugo Herbelin and others.
 \item A brand new warning system allowing to control warnings, turn them
   into errors or ignore them selectively by Maxime Dénès, Guillaume
-  Melquiond and others.
+  Melquiond, Pierre-Marie Pédrot and others.
 \item Irrefutable patterns in abstractions, by Daniel de Rauglaudre.
 \item Integration of {\tt ssreflect}'s subterm selection algorithm by
   Enrico Tassi.
@@ -1131,9 +1131,6 @@ tactics, and generalized and rationalized the handling of generic
 arguments, allowing to create new versions of Ltac more easily in the
 future.
 
-Many tactics have now more uniform behavior w.r.t. intro-patterns thanks
-to Hugo Herbelin who also improved the basic tactics here and there.
-
 In patterns and terms, {\tt @}, abbreviations and notations are now
 interpreted the same way, by Hugo Herbelin.
 
@@ -1179,15 +1176,16 @@ setup and the testing of {\Coq} contributions. He also contributed many
 API improvement and code cleanups throughout the system.
 
 The contributors for this version are C.J. Bell, Yves Bertot, Frédéric
-Besson, Tej Chajed, Pierre Courtieu, Maxime Dénès, Ricky Elrod, Jason
-Gross, Hugo Herbelin, Emilio Jesus Gallego Arias, Jacques-Henri Jourdan,
-Matej Košík, Xavier Leroy, Pierre Letouzey, Gregory Malecha, Cyprien
-Mangin, Erik Martin-Dorel, Guillaume Melquiond, Pierre-Marie Pédrot,
-Lionel Rieg, Gabriel Scherer, Matthieu Sozeau, Arnaud Spiwack, Paul
-Steckler, Laurent Théry, Enrico Tassi, Nickolai Zeldovich, Théo
-Zimmermann and Daniel de Rauglaudre. The development process was
-coordinated by Hugo Herbelin and Matthieu Sozeau with the help of
-Maxime Dénès, who was also in charge of the release process.
+Besson, Pierre Boutillier, Tej Chajed, Pierre Courtieu, Maxime Dénès,
+Ricky Elrod, Jason Gross, Hugo Herbelin, Sébastien Hinderer, Emilio
+Jesus Gallego Arias, Jacques-Henri Jourdan, Matej Košík, Xavier Leroy,
+Pierre Letouzey, Gregory Malecha, Cyprien Mangin, Erik Martin-Dorel,
+Guillaume Melquiond, Pierre-Marie Pédrot, Clément Pit-Claudel, Daniel de
+Rauglaudre, Lionel Rieg, Gabriel Scherer, Matthieu Sozeau, Arnaud
+Spiwack, Paul Steckler, Laurent Théry, Enrico Tassi, Nickolai Zeldovich
+and Théo Zimmermann. The development process was coordinated by Hugo
+Herbelin and Matthieu Sozeau with the help of Maxime Dénès, who was also
+in charge of the release process.
 
 Many power users helped to improve the design of the new features via
 the bug tracker, the pull request system, the {\Coq} development mailing
@@ -1195,7 +1193,7 @@ list or the coq-club mailing list. Special thanks to the users who
 contributed patches and intensive brain-storming and code reviews,
 starting with Cyril Cohen, Jason Gross, Robbert Krebbers, Jonathan
 Leivent, Xavier Leroy, Gregory Malecha, Clément Pit-Claudel, Gabriel
-Sherer and Beta Ziliani. It would however be impossible to mention
+Scherer and Beta Ziliani. It would however be impossible to mention
 exhaustively the names of everybody who to some extent influenced the
 development.