From 04074627887e4293495d1dbae2f9df34c8d120fd Mon Sep 17 00:00:00 2001 From: herbelin Date: Thu, 26 Oct 2006 08:05:56 +0000 Subject: MAJ git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9282 85f007b7-540e-0410-9357-904b9bb8a0f7 --- CREDITS | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'CREDITS') diff --git a/CREDITS b/CREDITS index eba2a4a49..616ceec5d 100644 --- a/CREDITS +++ b/CREDITS @@ -38,8 +38,9 @@ contrib/first-order contrib/fourier developed by Loïc Pottier (INRIA-Lemme, 2001) contrib/funind - developed by Pierre Courtieu (INRIA-Lemme, 2003-2004, CNAM, 2004-2006) - and Julien Forest, Benjamin Grégoire and Gilles Barthe (INRIA-Everest, 2006) + developed by Pierre Courtieu (INRIA-Lemme, 2003-2004, CNAM, 2004-2006), + Julien Forest (INRIA-Everest, 2006) and Yves Bertot (INRIA-Marelle, 2006), + based on joint work with David Pichardie, Gilles Barthe and Vlad Rusu. contrib/interface developed by Yves Bertot with contributions from Loïc Pottier and Laurence Rideau as part of the Pcoq project (INRIA-Lemme, 1997-2006) @@ -55,8 +56,9 @@ contrib/romega contrib/rtauto developed by Pierre Corbineau (LRI, 2005) contrib/setoid_ring - developed by Benjamin Grégoire, Assia Mahboubi (INRIA-Marelle, 2005-2006) - and Bruno Barras (INRIA LogiCal, 2005-2006) + developed by Benjamin Grégoire (INRIA-Everest, 2005-2006), + Assia Mahboubi, Laurent Théry (INRIA-Marelle, 2006) + and Bruno Barras (INRIA LogiCal, 2005-2006), contrib/subtac developed by Matthieu Sozeau (LRI, 2005-2006) contrib/xml @@ -94,6 +96,7 @@ of the Coq Proof assistant during the indicated time : Bruno Barras (INRIA, 1995-now) Jacek Chrzaszcz (LRI, 1998-2003) Thierry Coquand (INRIA, 1985-1989) + Pierre Corbineau (LRI, 2003-now) Cristina Cornes (INRIA, 1993-1996) Yann Coscoy (INRIA Sophia-Antipolis, 1995-1996) David Delahaye (INRIA, 1997-2002) -- cgit v1.2.3