--- a/doc-src/TutorialI/tutorial.tex Tue Oct 03 01:15:11 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Tue Oct 03 11:26:54 2000 +0200
@@ -65,6 +65,7 @@
\input{basics}
\input{fp}
+%\input{CTL/ctl}
\input{Advanced/advanced}
%\chapter{The Tricks of the Trade}
\input{appendix}