--- 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}