doc-src/TutorialI/tutorial.tex
changeset 10171 59d6633835fa
parent 10133 e187dacd248f
child 10178 aecb5bf6f76f
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Oct 09 09:33:45 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 09 10:18:21 2000 +0200
     1.3 @@ -65,7 +65,7 @@
     1.4  
     1.5  \input{basics}
     1.6  \input{fp}
     1.7 -%\input{CTL/ctl}
     1.8 +\input{CTL/ctl}
     1.9  \input{Advanced/advanced}
    1.10  %\chapter{The Tricks of the Trade}
    1.11  \input{appendix}