diff options
Diffstat (limited to 'COPYRIGHT')
| -rw-r--r-- | COPYRIGHT | 28 |
1 files changed, 18 insertions, 10 deletions
@@ -1,6 +1,6 @@ -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. +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. Copyright 1999-2004 The Coq development team, INRIA-CNRS, University Paris Sud, All rights reserved. @@ -13,15 +13,23 @@ work time rest with the employee. By analogy, it is Lionel's opinion that copyright on these changes rests with him. This product includes also software developed by - Yves Bertot, Lemme, INRIA Sophia-Antipolis (contrib/interface, + Yves Bertot, Lemme, INRIA Sophia-Antipolis (plugins/interface, parsing/search.ml) - Pierre Crégut, France Telecom R & D (contrib/omega and contrib/romega) - 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) + Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega) + Pierre Courtieu, Lemme (plugins/funind) + Loïc Pottier, Lemme, INRIA Sophia-Antipolis (plugins/fourier) + Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/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) |