mise a jour credits

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

1 files changed, 10 insertions, 10 deletions

diff --git a/CREDITS b/CREDITS
index 91bdb7808..0bc6ee567 100644
--- a/CREDITS
+++ b/CREDITS
@@ -24,7 +24,7 @@ by the Coq development team. All of them are released under the terms of
 the GNU Lesser General Public License Version 2.1.
 
 contrib/cc
-  developed by Pierre Corbineau (ENS Cachan, 2001)
+  developed by Pierre Corbineau (ENS Cachan, 2001 and LRI, 2001-2005)
 contrib/correctness
   developed by Jean-Christophe Filliâtre (LRI, 1999-2001)
 contrib/dp
@@ -34,7 +34,7 @@ contrib/extraction
 contrib/field
   developed by David Delahaye and Micaela Mayero (INRIA-LogiCal, 2001)
 contrib/first-order 
-  developed by Pierre Corbineau (LRI, 2003-2006)
+  developed by Pierre Corbineau (LRI, 2003-2005)
 contrib/fourier
   developed by Loïc Pottier (INRIA-Lemme, 2001)
 contrib/funind
@@ -92,7 +92,7 @@ The following people have contributed to the development of different versions
 of the Coq Proof assistant during the indicated time :
 
   Bruno Barras (INRIA, 1995-now)
-  Jacek Chrzaszcz (Paris Sud, 1998-2003)
+  Jacek Chrzaszcz (LRI, 1998-2003)
   Thierry Coquand (INRIA, 1985-1989)
   Cristina Cornes (INRIA, 1993-1996)
   Yann Coscoy (INRIA Sophia-Antipolis, 1995-1996)
@@ -101,16 +101,16 @@ of the Coq Proof assistant during the indicated time :
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
   Amy Felty (INRIA, 1993)
-  Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, Paris Sud, 1997-now)
+  Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, LRI, 1997-now)
   Eduardo Giménez (ENS Lyon, 1993-1996, INRIA, 1997-1998)
   Benjamin Grégoire (INRIA, 2003-now)
   Hugo Herbelin (INRIA, 1996-now)
   Gérard Huet (INRIA, 1985-1997)
-  Pierre Letouzey (Paris Sud, 2000-now)
+  Pierre Letouzey (LRI, 2000-2005 & PPS-Paris 7, 2005-now)
   Pascal Manoury (INRIA, 1993)
   Micaela Mayero (INRIA, 1997-2002)
-  Claude Marché (Paris Sud & INRIA, 2003-now)
-  Benjamin Monate (Paris Sud, 2003)
+  Claude Marché (INRIA 2003-2004 & LRI, 2004-now)
+  Benjamin Monate (LRI, 2003)
   César Muñoz (INRIA, 1994-1995)
   Chetan Murthy (INRIA, 1992-1994)
   Julien Narboux (INRIA, 2005-2006)
@@ -118,7 +118,7 @@ of the Coq Proof assistant during the indicated time :
   Catherine Parent-Vigouroux (ENS Lyon, 1992-1995)
   Patrick Loiseleur (Paris Sud, 1997-1999)
   Christine Paulin-Mohring (INRIA, 1985-1989, ENS Lyon, 1989-1997, 
-                            Paris Sud, 1997-now)
+                            LRI, 1997-now)
   Clément Renard (INRIA, 2001-2004)
   Claudio Sacerdoti Coen (INRIA, 2004-2005)
   Amokrane Saïbi (INRIA, 1993-1998)
@@ -129,8 +129,8 @@ INRIA refers to :
   Institut National de la Recherche en Informatique et Automatique
 CNRS refers to :
   Centre National de la Recherche Scientifique
-Paris Sud refers to :
-  Université Paris Sud
+LRI refers to : Laboratoire de Recherche en Informatique, UMR 8623 
+  CNRS and Université Paris-Sud
 ENS Lyon refers to :
   Ecole Normale Supérieure de Lyon
 ****************************************************************************