- un effort sur la doc (ocamlweb)

 - module Nametab
 - module Impargs
 - correction bug : Parameter id : t => vérification que t est bien un type


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

1 files changed, 7 insertions, 2 deletions

diff --git a/library/doc.tex b/library/doc.tex
index fd1a8bbf9..33af59336 100644
--- a/library/doc.tex
+++ b/library/doc.tex
@@ -1,11 +1,16 @@
 
+\newpage
 \section*{The Coq library}
 
 \ocwsection \label{library}
-This section describes the \Coq\ library, which is made of two parts:
+This chapter describes the \Coq\ library, which is made of two parts:
 \begin{itemize}
   \item a general mechanism to keep a trace of all operations and of
-    the state of the system, with backtrack possibilities;
+    the state of the system, with backtrack capabilities;
   \item a global environment for the CCI, with functions to export and 
     import compiled modules.
 \end{itemize}
+The modules of the library are organized as follows.
+
+\bigskip
+\begin{center}\epsfig{file=library.dep.ps}\end{center}