--- a/ProgTutorial/document/root.tex	Wed Mar 25 15:09:04 2009 +0100
+++ b/ProgTutorial/document/root.tex	Thu Mar 26 19:00:51 2009 +0000
@@ -140,6 +140,7 @@
         \end{tabular}}
 
 \maketitle
+\setcounter{tocdepth}{1}
 \tableofcontents
 
 % generated text of all theories