MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8621 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 24 insertions, 9 deletions

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*