From 140ea8f07bb1074fd2dfcda23fac673a53772124 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 18 Dec 2003 23:43:27 +0000
Subject: mise a jour CIC

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8413 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan-pre.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc/RefMan-pre.tex')

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
-- 
cgit v1.2.3