From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 21 Jul 2010 09:46:51 +0200 Subject: Imported Upstream snapshot 8.3~beta0+13298 --- COPYRIGHT | 28 ++++++++++++++++++---------- 1 file changed, 18 insertions(+), 10 deletions(-) (limited to 'COPYRIGHT') diff --git a/COPYRIGHT b/COPYRIGHT index 8478bd4e..63d90573 100644 --- a/COPYRIGHT +++ b/COPYRIGHT @@ -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) -- cgit v1.2.3