From f3d068d8bd33a511397576533b1190be9b544a07 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 19 Sep 1999 18:01:50 +0000
Subject: module Declare

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

(limited to 'doc')

diff --git a/doc/intro.tex b/doc/intro.tex
index 6a8cdc6bab..6a91ab937d 100644
--- a/doc/intro.tex
+++ b/doc/intro.tex
@@ -17,5 +17,7 @@ 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]
+    \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