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;