From a03ddb7026e3ef288537f10d9a012e07e1577cd2 Mon Sep 17 00:00:00 2001
From: mohring
Date: Wed, 17 Mar 2004 10:29:40 +0000
Subject: CREDITS

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

diff --git a/CREDITS b/CREDITS
index d6e23d70ed..63a63126b5 100644
--- a/CREDITS
+++ b/CREDITS
@@ -5,7 +5,7 @@ The "Coq proof assistant" was developed conjointly by
 	associated to CNRS and ENS Lyon (sept.89-sept.97),
 	Laboratoire de Recherche en Informatique (LRI)
 	associated to CNRS and Paris Sud (since sept. 97),
-	Laboratoire d'Informatique de l'Ecole Polytechnique (since jan 03)
+	Laboratoire d'Informatique de l'Ecole Polytechnique (since jan. 03)
 	associated to CNRS and Ecole Polytechnique.
 
 All files of the "Coq proof assistant" in directories or sub-directories of
-- 
cgit v1.2.3