From 071daf340720801328f0d79f1ef3f5b8a3a01415 Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 10 Mar 2006 10:09:33 +0000 Subject: MAJ git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8621 85f007b7-540e-0410-9357-904b9bb8a0f7 --- doc/LICENCE | 33 ++++++++++++++++++++++++--------- 1 file changed, 24 insertions(+), 9 deletions(-) (limited to 'doc') diff --git a/doc/LICENCE b/doc/LICENCE index bb4e190a0..caf71129d 100644 --- a/doc/LICENCE +++ b/doc/LICENCE @@ -1,14 +1,14 @@ The Coq Reference Manual is a collective work from the Coq Development Team whose members are listed in the file CREDITS of the Coq source -package. All related documents (the LaTeX source and the PostScript, -PDF and html outputs) are copyright (c) INRIA 1999-2006. The material -connected to the Reference Manual may be distributed only subject to -the terms and conditions set forth in the Open Publication License, -v1.0 or later (the latest version is presently available at -http://www.opencontent.org/openpub/). Notice that options A and B are -*not* elected. - -The Coq Tutorial is a work by GŽérard Huet, Gilles Kahn and Christine +package. All related documents (the LaTeX and BibTeX sources, the +embedded png files, and the PostScript, PDF and html outputs) are +copyright (c) INRIA 1999-2006. The material connected to the Reference +Manual may be distributed only subject to the terms and conditions set +forth in the Open Publication License, v1.0 or later (the latest +version is presently available at http://www.opencontent.org/openpub/). +Note that options A and B are *not* elected. + +The Coq Tutorial is a work by Gérard Huet, Gilles Kahn and Christine Paulin-Mohring. All documents (the LaTeX source and the PostScript, PDF and html outputs) are copyright (c) INRIA 1999-2006 and come with no license. @@ -21,6 +21,21 @@ the PostScript, PDF and html outputs) are copyright (c) INRIA distributed under the terms of the Lesser General Public License version 2.1 or later. +The FAQ is a work by Pierre Castéran, Hugo Herbelin, Florent Kirchner, +Benjamin Monate, and Julien Narboux. All documents (the LaTeX source +and the PostScript, PDF and html outputs) are copyright (c) INRIA +2004-2006 and come with no license. + +The Tutorial on [Co-]Inductive Types in Coq is a work by Pierre +Castéran and Eduardo Gimenez. All related documents (the LaTeX and +BibTeX sources and the PostScript, PDF and html outputs) are copyright +(c) INRIA 1997-2006. The material connected to the Tutorial on +[Co-]Inductive Types in Coq may be distributed only subject to the +terms and conditions set forth in the Open Publication License, v1.0 +or later (the latest version is presently available at +http://www.opencontent.org/openpub/). Note that options A and B are +*not* elected. + ---------------------------------------------------------------------- *Open Publication License* -- cgit v1.2.3