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 790806311..ac7d81d4e 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 5c1a9ea36..a46ccb88f 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 f5da36c2d..7cc20f582 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 14d2f9888..ca5435380 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