--- a/lib/Tools/mkdir Wed Oct 24 18:36:09 2007 +0200 +++ b/lib/Tools/mkdir Wed Oct 24 19:21:38 2007 +0200 @@ -251,6 +251,7 @@ \tableofcontents +% sane default for proof documents %\parindent 0pt\parskip 0.5ex % generated text of all theories