diff options
| author | notin | 2006-04-12 14:58:32 +0000 |
|---|---|---|
| committer | notin | 2006-04-12 14:58:32 +0000 |
| commit | ba93324499f0cffa30ccb54d427a2651ab6aa3e1 (patch) | |
| tree | 7b2e9b7c879117cc10f2d9eb83bc39dd7e6d98ee | |
| parent | 4c75f521efe522d067323c9396be9a4c36d84de4 (diff) | |
Changement de licence pour le Tutoriel de Coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8703 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 |