From 99ad573113f5afc8bb5409649843567dee40ba40 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 16 Apr 2008 20:40:19 +0000
Subject: first-order --> firstorder (kills a warning about not being a valid
 id)

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

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index ce72de0246..6219ea8aa7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -32,10 +32,10 @@ contrib/dp
   developed by Nicolas Ayache (LRI, 2005-2006) and Jean-Christophe Filliâtre
   (LRI, 2005-2008)
 contrib/extraction
-  developed by Pierre Letouzey (LRI, 2000-2008)
+  developed by Pierre Letouzey (LRI, 2000-2004, PPS-Paris7, 2005-now)
 contrib/field
   developed by David Delahaye and Micaela Mayero (INRIA-LogiCal, 2001)
-contrib/first-order 
+contrib/firstorder 
   developed by Pierre Corbineau (LRI, 2003-2008)
 contrib/fourier
   developed by Loïc Pottier (INRIA-Lemme, 2001)
@@ -114,7 +114,7 @@ of the Coq Proof assistant during the indicated time :
   Benjamin Grégoire (INRIA, 2003-now)
   Hugo Herbelin (INRIA, 1996-now)
   Gérard Huet (INRIA, 1985-1997)
-  Pierre Letouzey (LRI, 2000-2005 & PPS-Paris 7, 2005-now)
+  Pierre Letouzey (LRI, 2000-2004 & PPS-Paris 7, 2005-now)
   Pascal Manoury (INRIA, 1993)
   Micaela Mayero (INRIA, 1997-2002)
   Claude Marché (INRIA 2003-2004 & LRI, 2004-now)
-- 
cgit v1.2.3