CREDITS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5514 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/CREDITS b/CREDITS
index d6e23d70e..63a63126b 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