From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 4 Jul 2009 13:28:35 +0200 Subject: Imported Upstream version 8.2.pl1+dfsg --- doc/common/styles/html/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 +++++++++++++ doc/common/styles/html/simple/style.css | 13 +++++++++++++ doc/stdlib/index-list.html.template | 16 +--------------- doc/stdlib/index-trailer.html | 2 -- 5 files changed, 29 insertions(+), 17 deletions(-) create mode 100644 doc/common/styles/html/simple/footer.html create mode 100644 doc/common/styles/html/simple/header.html create mode 100644 doc/common/styles/html/simple/style.css delete mode 100644 doc/stdlib/index-trailer.html (limited to 'doc') diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html new file mode 100644 index 00000000..308b1d01 --- /dev/null +++ b/doc/common/styles/html/simple/footer.html @@ -0,0 +1,2 @@ + + diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html new file mode 100644 index 00000000..14d2f988 --- /dev/null +++ b/doc/common/styles/html/simple/header.html @@ -0,0 +1,13 @@ + + + + + + +The Coq Standard Library + + + + diff --git a/doc/common/styles/html/simple/style.css b/doc/common/styles/html/simple/style.css new file mode 100644 index 00000000..0b1e640b --- /dev/null +++ b/doc/common/styles/html/simple/style.css @@ -0,0 +1,13 @@ +#footer { + border-top: solid black 1pt; + text-align: center; + text-indent: 0pt; +} + +.menu { } +.menu li { + display: inline; + margin: 0pt; + padding: .5ex 1em; + list-style: none +} \ No newline at end of file diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 0ab4e47b..484002c3 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,17 +1,5 @@ - - - - - -The Coq Standard Library - - - - -

The Coq Standard Library

Here is a short description of the Coq standard library, which is distributed with the system. @@ -323,8 +311,6 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v

theories/Setoids/Setoid.v - theories/Setoids/Setoid_tac.v - theories/Setoids/Setoid_Prop.v

Lists: diff --git a/doc/stdlib/index-trailer.html b/doc/stdlib/index-trailer.html deleted file mode 100644 index 308b1d01..00000000 --- a/doc/stdlib/index-trailer.html +++ /dev/null @@ -1,2 +0,0 @@ - - -- cgit v1.2.3