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