From f34f0420899594847b6e7633a4488f034a4300f6 Mon Sep 17 00:00:00 2001
From: msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 29 Dec 2008 16:58:51 +0000
Subject: Produce better html code with coqdoc and improve doc: - correct
 nesting of a and div (fixes bug #2022) - use span instead of div for inline
 parts - fix standard lib template missing/new links - use -g to produce the
 stdlib doc (no proofs)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11724 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/stdlib/index-list.html.template | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 86dd5df22..84e4e4fa0 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -69,6 +69,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/Logic/Description.v
     theories/Logic/Epsilon.v
     theories/Logic/IndefiniteDescription.v
+    theories/Logic/FunctionalExtensionality.v
   </dd>
     
   <dt> <b>Bool</b>:
@@ -268,8 +269,6 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v
     theories/Relations/Relation_Operators.v
     theories/Relations/Relations.v
     theories/Relations/Operators_Properties.v
-    theories/Relations/Rstar.v
-    theories/Relations/Newman.v
   </dd>
     
   <dt> <b>Sets</b>:
@@ -313,7 +312,6 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v
     theories/Classes/SetoidClass.v
     theories/Classes/SetoidDec.v
     theories/Classes/SetoidAxioms.v
-    theories/Classes/Functions.v
   </dd>
 
   <dt> <b>Setoids</b>:
@@ -475,7 +473,6 @@ theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v
     theories/Program/Utils.v
     theories/Program/Syntax.v
     theories/Program/Program.v
-    theories/Program/FunctionalExtensionality.v
     theories/Program/Combinators.v
   </dd>
 
-- 
cgit v1.2.3