diff options
| -rw-r--r-- | doc/LICENCE | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/LICENCE b/doc/LICENCE index 12b51664a3..990874803a 100644 --- a/doc/LICENCE +++ b/doc/LICENCE @@ -10,8 +10,12 @@ 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. +PDF and html outputs) are copyright (c) INRIA 1999-2006. The material +connected to the Coq Tutorial 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/). Options A and B are *not* +elected. The Coq Standard Library is a collective work from the Coq Development Team whose members are listed in the file CREDITS of the Coq source |