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