# HG changeset patch
# User nipkow
# Date 1048006554 -3600
# Node ID 18112403c80936340325e73509c64ec4af99cda9
# Parent  01b516b64233d56a4b87e1f3929fdbf2066bed23
toggled show_main_goal

diff -r 01b516b64233 -r 18112403c809 src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Tue Mar 18 17:54:27 2003 +0100
+++ b/src/Pure/Isar/proof.ML	Tue Mar 18 17:55:54 2003 +0100
@@ -321,7 +321,7 @@
 
 (** pretty_state **)
 
-val show_main_goal = ref true;
+val show_main_goal = ref false;
 
 val verbose = ProofContext.verbose;