--- a/doc-src/TutorialI/Overview/document/root.tex Wed Jun 26 10:26:46 2002 +0200
+++ b/doc-src/TutorialI/Overview/document/root.tex Wed Jun 26 11:07:14 2002 +0200
@@ -39,7 +39,7 @@
\input{Ind.tex}
-\input{Isar.tex}
+%\input{Isar.tex}
%%% Local Variables:
%%% mode: latex