From 0cb099b21bd7ab256da33ee21d31e080a15fdc45 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 9 Sep 2004 13:27:31 +0000
Subject: Crédit
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 29871ed28..3d0dc1502 100644
--- a/CREDITS
+++ b/CREDITS
@@ -84,7 +84,7 @@ 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-2003)
+	Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, Paris Sud, 1997-2004)
 	Eduardo Giménez (ENS Lyon, 1993-1996, INRIA, 1997-1998)
 	Hugo Herbelin (INRIA, 1996-now)
 	Gérard Huet (INRIA, 1985-1997)
-- 
cgit v1.2.3