# HG changeset patch
# User wenzelm
# Date 1194862731 -3600
# Node ID 0ba2d51bcb42f775c76356e04b800aaf8bbd7ee5
# Parent  b87196bb57da1e9534fb874d592319c2d29c2a73
reactivated default paragraph formatting for ``proof documents'';

diff -r b87196bb57da -r 0ba2d51bcb42 lib/Tools/mkdir
--- 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}