diff -r 2f05cb7fed85 -r 70fd99d4ef82 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Tue Aug 28 15:34:15 2007 +0200
+++ b/lib/Tools/mkdir	Tue Aug 28 16:33:52 2007 +0200
@@ -251,7 +251,7 @@
 
 \tableofcontents
 
-\parindent 0pt\parskip 0.5ex
+%\parindent 0pt\parskip 0.5ex
 
 % generated text of all theories
 \input{session}