From 5337f423f49fd69a264d7a5d7dedc58aea688e64 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 30 Nov 1999 09:21:00 +0000
Subject: ocamlweb

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

(limited to 'doc')

diff --git a/doc/intro.tex b/doc/intro.tex
index 6a34ca48bb..4cec8673f4 100644
--- a/doc/intro.tex
+++ b/doc/intro.tex
@@ -17,9 +17,9 @@ described here as separate chapters.
     Utility libraries \dotfill & \refsec{lib}     & \pageref{lib}     \\[0.5em]
     Kernel            \dotfill & \refsec{kernel}  & \pageref{kernel}  \\[0.5em]
     Library           \dotfill & \refsec{library} & \pageref{library} \\[0.5em]
+    Pretyping     \dotfill & \refsec{pretyping} & \pageref{pretyping} \\[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}
 \end{center}
\ No newline at end of file
-- 
cgit v1.2.3