From ba93324499f0cffa30ccb54d427a2651ab6aa3e1 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 12 Apr 2006 14:58:32 +0000
Subject: 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
---
 doc/LICENCE | 8 ++++++--
 1 file 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
-- 
cgit v1.2.3