From f2a0a590ebe2840ae74649075af4b946de33c045 Mon Sep 17 00:00:00 2001 From: cpaulin Date: Fri, 14 Apr 2006 12:58:28 +0000 Subject: mise a jour credits git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8716 85f007b7-540e-0410-9357-904b9bb8a0f7 --- CREDITS | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'CREDITS') 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 **************************************************************************** -- cgit v1.2.3