module Pattern, Wcclausenv (interface) et Tacticals

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

1 files changed, 1 insertions, 0 deletions

diff --git a/doc/intro.tex b/doc/intro.tex
index 98aa4a3a6b..6a34ca48bb 100644
--- a/doc/intro.tex
+++ b/doc/intro.tex
@@ -18,6 +18,7 @@ described here as separate chapters.
     Kernel            \dotfill & \refsec{kernel}  & \pageref{kernel}  \\[0.5em]
     Library           \dotfill & \refsec{library} & \pageref{library} \\[0.5em]
     Proof engine      \dotfill & \refsec{proofs}  & \pageref{proofs}  \\[0.5em]
+    Tactics           \dotfill & \refsec{tactics} & \pageref{tactics} \\[0.5em]
     \dots & & \\[0.5em]
     Toplevel          \dotfill & \refsec{toplevel}& \pageref{toplevel}\\[0.5em]
   \end{tabular}