diff options
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> |