A better Program documentation. Include it in the generated stdlib doc.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10061 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index fffcddc85..81fdd2a6e 100755
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -45,6 +45,8 @@ The standard library is composed of the following subdirectories:
   \item[Wellfounded] Well-founded relations (basic results).
   \item[IntMap]       Representation of finite sets by an efficient
                      structure of map (trees indexed by binary integers).
+  \item[Program] Tactcis to deal with dependently-typed programs and
+    their proofs.
 \end{description}