From 2da65b20770536729fbff86ec67429d0fe74e145 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 27 Jan 2006 19:13:26 +0000
Subject: Ajout licence open publication � la doc (sous r�serve OK pour
 tutorial)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8605 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/cover.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc/cover.html')

diff --git a/doc/cover.html b/doc/cover.html
index cdf4e58302..2a09ea2311 100644
--- a/doc/cover.html
+++ b/doc/cover.html
@@ -20,8 +20,9 @@ The Coq Proof Assistant<BR>
 <BR><BR><BR><BR><BR><BR>
 
 <DIV ALIGN=left>
-<FONT SIZE=4>V7.x ©INRIA 1999-2004</FONT><BR>
-<FONT SIZE=4>V8.0 ©INRIA 2004-2005</FONT><BR>
+<FONT SIZE=4>V7.x © INRIA 1999-2004</FONT><BR>
+<FONT SIZE=4>V8.0 © INRIA 2004-2006</FONT><BR>
+This material 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 <A HREF="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</A>).
 </DIV>
 <BR>
 
-- 
cgit v1.2.3