# HG changeset patch
# User nipkow
# Date 1188311632 -7200
# Node ID 70fd99d4ef825f0b1713aee8599373b86c496004
# Parent  2f05cb7fed855942b66522b17336aa725b1f74d7
Commented out non-standard paragraph formatting.

diff -r 2f05cb7fed85 -r 70fd99d4ef82 lib/Tools/mkdir
--- 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}