Fixes from Enrico's review

1 files changed, 15 insertions, 14 deletions

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index c7a3c7415..669ba11e8 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -1113,8 +1113,8 @@ over 100 contributions integrated. The main user visible changes are:
 \item Irrefutable patterns in abstractions, by Daniel de Rauglaudre.
 \item Integration of {\tt ssreflect}'s subterm selection algorithm by
   Enrico Tassi.
-\item Integration of {\tt LtacProf}, a profiler for {\tt Ltac} by Tobias
-  Tebbi, Jason Gross and Paul Steckler.
+\item Integration of {\tt LtacProf}, a profiler for {\tt Ltac} by Jason
+  Gross, Paul Steckler, Enrico Tassi and Tobias Tebbi.
 \end{itemize}
 
 {\Coq} 8.6 also comes with a bunch of smaller-scale changes and
@@ -1170,14 +1170,23 @@ The OPAM repository for {\Coq} packages has been maintained by Guillaume
 Claret, Guillaume Melquiond, Matthieu Sozeau, Enrico Tassi and others. A
 list of packages is now available at \url{https://coq.inria.fr/opam/www/}.
 
-Packaging tools were provided by Michael Soegtrop and Enrico Tassi
-(Windows), Maxime Dénès and Matthieu Sozeau (MacOS X). Packages are now
-regularly built on the continuous integration server.
+Packaging tools and software development kits were prepared by Maxime
+Dénès, Michael Soegtrop and Enrico Tassi for Windows, and Maxime Dénès
+and Matthieu Sozeau for MacOS X. Packages are now regularly built on the
+continuous integration server.
 
 Matej Košík maintained and greatly improved the continuous integration
 setup and the testing of {\Coq} contributions. He also contributed many
 API improvement and code cleanups throughout the system.
 
+General maintenance during part or whole of this period has been done by
+Pierre Boutillier, Pierre Courtieu, Maxime Dénès, Hugo Herbelin, Pierre
+Letouzey, Guillaume Melquiond, Pierre-Marie Pédrot, Matthieu Sozeau,
+Arnaud Spiwack, Enrico Tassi, Bruno Barras, Yves Bertot,
+Frédéric Besson, Assia Mahboubi and Yann Régis-Gianas. The development
+process was coordinated by 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
 list or the coq-club mailing list. Special thanks to the users who
@@ -1194,15 +1203,7 @@ development cycle. Its development spanned 10 months from the release of
 external contributions than any previous {\Coq} system. Code reviews
 were systematically done before integration of new features, with an
 important focus given to compatibility and performance issues, resulting
-in a much more robust release than previous ones.
-
-General maintenance during part or whole of this period has been done by
-Pierre Boutillier, Pierre Courtieu, Maxime Dénès, Hugo Herbelin, Pierre
-Letouzey, Guillaume Melquiond, Pierre-Marie Pédrot, Matthieu Sozeau,
-Arnaud Spiwack, Enrico Tassi as well as Bruno Barras, Yves Bertot,
-Frédéric Besson, Assia Mahboubi, Yann Régis-Gianas. The development
-process was coordinated by Matthieu Sozeau with the help of Maxime
-Dénès, who was also in charge of the release process.
+in a hopefully much more robust release than previous ones.
 
 Coq Enhancement Proposals (CEPs for short) were introduced by Enrico
 Tassi to provide more visibility and a discussion period on new