From 526c2ee8987816db6f07f7966f00edb0c8d12f21 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 27 Oct 2006 07:52:50 +0000
Subject: Restriction au implémenteurs

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

diff --git a/CREDITS b/CREDITS
index 616ceec5d2..bd8d5788b4 100644
--- a/CREDITS
+++ b/CREDITS
@@ -39,15 +39,15 @@ contrib/fourier
   developed by Loïc Pottier (INRIA-Lemme, 2001)
 contrib/funind
   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.
+  Julien Forest (INRIA-Everest, 2006) 
+  and Yves Bertot (INRIA-Marelle, 2005-2006).
 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)
 contrib/omega
   developed by Pierre Crégut (France Telecom R&D, 1996)
 contrib/recdef
-  developed by Yves Bertot (INRIA-Marelle, 2005)
+  developed by Yves Bertot (INRIA-Marelle, 2005-2006)
 contrib/ring
   developed by Samuel Boutin (INRIA-Coq, 1996) and Patrick 
   Loiseleur (LRI, 1997-1999)
-- 
cgit v1.2.3