From 7d7075b62c21660dda4ae31c2b89d3b223fa678f Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 6 Oct 2017 02:10:50 +0200 Subject: Fix copyright info in reference manual. Also simplifies the way it is presented (no need to be overly precise). --- doc/common/styles/html/coqremote/cover.html | 15 +-------------- doc/common/styles/html/simple/cover.html | 15 +-------------- 2 files changed, 2 insertions(+), 28 deletions(-) (limited to 'doc/common') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index 1c415eca6..5d151381f 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -52,20 +52,7 @@

The Coq Development Team




-
- - -

This research was partly supported by IST - working group ``Types''

+

Copyright © INRIA 1999-2017

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 http://www.opencontent.org/openpub). Options A and B are not elected.

diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html index 25fb56320..605313104 100644 --- a/doc/common/styles/html/simple/cover.html +++ b/doc/common/styles/html/simple/cover.html @@ -30,20 +30,7 @@


-
-
    -
  • V7.x © INRIA 1999-2004
    • -
  • V8.0 © INRIA 2004-2008
    • -
  • V8.1 © INRIA 2006-2011
    • -
  • V8.2 © INRIA 2008-2011
    • -
  • V8.3 © INRIA 2010-2011
    • -
  • V8.4 © INRIA 2012-2014
    • -
  • V8.5 © INRIA 2015-2016
    • -
  • V8.6 © INRIA 2016
    • -
- -

This research was partly supported by IST - working group ``Types''

+

Copyright © INRIA 1999-2017

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 http://www.opencontent.org/openpub). Options A and B are not elected.

-- cgit v1.2.3