diff options
| author | herbelin | 2006-01-27 19:13:26 +0000 |
|---|---|---|
| committer | herbelin | 2006-01-27 19:13:26 +0000 |
| commit | 2da65b20770536729fbff86ec67429d0fe74e145 (patch) | |
| tree | 4308e7a92399b7aef8b852788589a876425cc6a6 /doc/cover.html | |
| parent | cf81bb6f4ca367b3362e6826b335804cdb0e012d (diff) | |
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
Diffstat (limited to 'doc/cover.html')
| -rw-r--r-- | doc/cover.html | 5 |
1 files changed, 3 insertions, 2 deletions
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> |