From 6f47b089934c10c38a5dfb126b5ae62ec9c305a0 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Fri, 5 Dec 2014 10:07:02 +0100 Subject: doc/stdlib: fix the html charset in header.html and co --- doc/common/styles/html/coqremote/cover.html | 14 +++++++------- doc/common/styles/html/coqremote/header.html | 2 +- doc/common/styles/html/simple/cover.html | 16 ++++++++-------- doc/common/styles/html/simple/header.html | 4 ++-- 4 files changed, 18 insertions(+), 18 deletions(-) (limited to 'doc/common') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index 7908063117..ac7d81d4e2 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -3,7 +3,7 @@ - + @@ -56,12 +56,12 @@

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/coqremote/header.html b/doc/common/styles/html/coqremote/header.html index 5c1a9ea362..a46ccb88f0 100644 --- a/doc/common/styles/html/coqremote/header.html +++ b/doc/common/styles/html/coqremote/header.html @@ -2,7 +2,7 @@ - + diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html index f5da36c2d7..7cc20f5824 100644 --- a/doc/common/styles/html/simple/cover.html +++ b/doc/common/styles/html/simple/cover.html @@ -4,7 +4,7 @@ - + Reference Manual | The Coq Proof Assistant @@ -21,7 +21,7 @@




-
+

Reference Manual

@@ -34,12 +34,12 @@
    -
  • 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
    • +
  • 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

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/header.html b/doc/common/styles/html/simple/header.html index 14d2f98888..ca54353806 100644 --- a/doc/common/styles/html/simple/header.html +++ b/doc/common/styles/html/simple/header.html @@ -1,10 +1,10 @@ - - + The Coq Standard Library -- cgit v1.2.3