From e984c9a611936280e2c0e4a1d4b1739c3d32f4dd Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 3 Jun 2008 22:48:06 +0000
Subject: Fix setoid_rewrite documentation examples. Debug handling of
 identifiers in coqdoc (should work with modules and sections) and add missing
 macros. Move theories/Program to THEORIESVO to put the files in the standard
 library documentation.

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

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index c86338175e..48dbb3f01c 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -438,12 +438,16 @@ through the <tt>Require Import</tt> command.</p>
     Support for dependently-typed programming.
   </dt>
   <dd> 
+    theories/Program/Basics.v
     theories/Program/Wf.v
+    theories/Program/Subset.v
     theories/Program/Equality.v
     theories/Program/Tactics.v
     theories/Program/Utils.v
+    theories/Program/Syntax.v
     theories/Program/Program.v
     theories/Program/FunctionalExtensionality.v
+    theories/Program/Combinators.v
   </dd>
 
 </dl>
-- 
cgit v1.2.3