mise a jour CIC

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8413 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex
index 4c214b1f8b..a36148741e 100755
--- a/doc/RefMan-pre.tex
+++ b/doc/RefMan-pre.tex
@@ -393,7 +393,7 @@ J. Courant, P. Courtieu, J. Duprat, J. Goubault, A. Miquel,
 C. Marché, B. Monate and B. Werner.
 
 Intensive users suggested improvements of the system : 
-Y. Bertot, L. Pottier, L. Théry , P. Zimmerman from INRIA 
+Y. Bertot, L. Pottier, L. Théry , P. Zimmerman from INRIA, 
 C. Alvarado, P. Crégut, J.-F. Monin from France Telecom R \& D.
 \begin{flushright}
 Orsay, May. 2002\\
@@ -475,7 +475,7 @@ statements), new management commands, extended libraries.
 Bruno Barras and Hugo Herbelin have been the main contributors of the 
 reflexion and the implementation of the new syntax. The smart
 automatic translator from old to new syntax released with {\Coq} is also
-their work.
+their work with contributions by Olivier Desmettre.
 
 Hugo Herbelin is the main designer and implementor of the notion of
 interpretation scopes and of the commands for easily adding new notations.
@@ -492,7 +492,7 @@ Benjamin Monate is the developer of the \CoqIde{} graphical
 interface with contributions by Jean-Christophe Filliâtre, Pierre
 Letouzey and Claude Marché.
 
-Claude Marché coordinated the update of the Reference Manual for
+Claude Marché coordinated the edition od the Reference Manual for
  \Coq{} V8.0.
 
 Pierre Letouzey and Jacek Chrz\k{a}szcz respectively maintained the