diff options
| author |  mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-17 10:29:40 +0000 |
|---|---|---|
| committer | mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-17 10:29:40 +0000 |
| commit | a03ddb7026e3ef288537f10d9a012e07e1577cd2 (patch) | |
| tree | d0e1db9695c44b17f375a0b9f88123030a2840be | |
| parent | 12d0ab45949b7702c1d6e9448b889ad06df2daee (diff) | |
CREDITS
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5514 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | CREDITS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |