From 044a44f1a877764b13418b8865adff76cf0c6f93 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Fri, 7 Nov 2014 18:39:55 +0100 Subject: doc: version number in cover.html + updates in coq.inria.fr style --- doc/common/styles/html/coqremote/cover.html | 61 +++++++++---------- doc/common/styles/html/coqremote/styles.hva | 92 ++++++++++++----------------- doc/common/styles/html/simple/cover.html | 4 +- 3 files changed, 67 insertions(+), 90 deletions(-) (limited to 'doc/common') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index 8f3ca8fc6..790806311 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -1,50 +1,43 @@ - + + - -Cover Page + -Reference Manual | The Coq Proof Assistant - - - - - - - - + + + + + + + - - +Reference Manual | The Coq Proof Assistant - + - +
+ @@ -52,9 +45,9 @@



Reference Manual

- +

- Version trunk1 + Version COQVERSION1





The Coq Development Team @@ -68,7 +61,7 @@
  • V8.1 © INRIA 2006-2011
  • V8.2 © INRIA 2008-2011
  • V8.3 © INRIA 2010-2011
    • -
  • V8.4 © INRIA 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.

    @@ -121,7 +114,7 @@







    The Coq Development Team

    @@ -39,7 +39,7 @@
  • V8.1 © INRIA 2006-2011
  • V8.2 © INRIA 2008-2011
  • V8.3 © INRIA 2010-2011
    • -
  • V8.4 © INRIA 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.

    -- cgit v1.2.3