diff options
Diffstat (limited to 'COPYRIGHT')
| -rw-r--r-- | COPYRIGHT | 18 |
1 files changed, 5 insertions, 13 deletions
@@ -1,6 +1,6 @@ -The Coq proof assistant V7 and V8 includes software developed by the -Coq development team inside the LogiCal project, at INRIA, CNRS and -University Paris Sud. +The Coq proof assistant V7 and V8 includes software developed by the +Coq development team inside the TypiCal (formerly LogiCal) project, at +INRIA, CNRS and University Paris Sud. Copyright 1999-2004 The Coq development team, INRIA-CNRS, University Paris Sud, All rights reserved. @@ -19,17 +19,9 @@ parsing/search.ml) Pierre Courtieu, Lemme (contrib/funind) Loïc Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier) Claudio Sacerdoti Coen, HELM, University of Bologna, (contrib/xml) + Lionel Mamane, Radbout University, Nijmegen (additions to contrib/interface) + Cezary Kalyczyc, Radbout University, Nijmegen (additions to contrib/xml) The file CREDITS contains a list of past contributors The credits section in Reference Manual introduction details contributions. - -The Coq development Team (march 2004) - Bruno Barras (INRIA) - Pierre Corbineau (Université Paris Sud) - Jean-Christophe Filliâtre (CNRS) - Hugo Herbelin (INRIA) - Pierre Letouzey (Université Paris Sud) - Claude Marché (Université Paris Sud-INRIA) - Christine Paulin (Université Paris Sud) - Clément Renard (INRIA) |