1.1 --- a/src/Pure/Isar/proof.ML	Tue Mar 18 17:54:27 2003 +0100
     1.2 +++ b/src/Pure/Isar/proof.ML	Tue Mar 18 17:55:54 2003 +0100
     1.3 @@ -321,7 +321,7 @@
     1.4  
     1.5  (** pretty_state **)
     1.6  
     1.7 -val show_main_goal = ref true;
     1.8 +val show_main_goal = ref false;
     1.9  
    1.10  val verbose = ProofContext.verbose;
    1.11