From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 4 Jul 2009 13:28:35 +0200 Subject: Imported Upstream version 8.2.pl1+dfsg --- COPYRIGHT | 18 +++++------------- 1 file changed, 5 insertions(+), 13 deletions(-) (limited to 'COPYRIGHT') diff --git a/COPYRIGHT b/COPYRIGHT index 7ed31f15..8478bd4e 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 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) -- cgit v1.2.3