--- a/doc-src/TutorialI/tutorial.tex Mon Oct 09 09:33:45 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Mon Oct 09 10:18:21 2000 +0200
@@ -65,7 +65,7 @@
\input{basics}
\input{fp}
-%\input{CTL/ctl}
+\input{CTL/ctl}
\input{Advanced/advanced}
%\chapter{The Tricks of the Trade}
\input{appendix}