From 19649e7f1029a83b6f8827b1d88f580af607a9bf Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 17 Jan 2002 16:20:47 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2402 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CREDITS | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 7be6ff127..299dc5b3f 100644
--- a/CREDITS
+++ b/CREDITS
@@ -67,6 +67,7 @@ of the Coq Proof assistant during the indicated time :
 	Yann Coscoy (INRIA Sophia-Antipolis, 1995-1996)
 	David Delahaye,  (INRIA, 1997-now)
 	Daniel de Rauglaudre, (INRIA, 1996-1998)
+        Olivier Desmettre (INRIA, 2001-now)
 	Gilles Dowek, (INRIA, 1991-1994)
 	Amy Felty, (INRIA, 1993)
 	Jean-Christophe Filliâtre, (ENS Lyon, 1994-1997) (Paris 11,1997-now)
@@ -82,6 +83,7 @@ of the Coq Proof assistant during the indicated time :
 	Patrick Loiseleur, (Paris 11, 1997-1999)
   	Christine Paulin-Mohring, (INRIA, 1985-1989) (ENS Lyon, 1989-1997) 
 				  (Paris 11, 1997-now)
+        Clément Renard, (INRIA, 2001-now)
 	Amokrane Saïbi, (INRIA, 1993-1998)
 	Benjamin Werner, (INRIA, 1989-1994)
 
-- 
cgit v1.2.3