
diff -r 8e9a8ede2f11 -r e187dacd248f doc-src/TutorialI/tutorial.tex
--- 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}




