--- a/lib/Tools/mkdir Mon Nov 12 11:07:51 2007 +0100 +++ b/lib/Tools/mkdir Mon Nov 12 11:18:51 2007 +0100 @@ -252,7 +252,7 @@ \tableofcontents % sane default for proof documents -%\parindent 0pt\parskip 0.5ex +\parindent 0pt\parskip 0.5ex % generated text of all theories \input{session}