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/stdlib/index-list.html.template | 16 +--------------- doc/stdlib/index-trailer.html | 2 -- 2 files changed, 1 insertion(+), 17 deletions(-) delete mode 100644 doc/stdlib/index-trailer.html (limited to 'doc/stdlib') 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