From 9bdaa212057cdd41ba416cc9f05167e91eeed4b3 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 19 Nov 1999 17:01:43 +0000
Subject: module Pattern, Wcclausenv (interface) et Tacticals

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@126 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/intro.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

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}
-- 
cgit v1.2.3