toggled show_main_goal
authornipkow
Tue Mar 18 17:55:54 2003 +0100 (2003-03-18)
changeset 1386918112403c809
parent 13868 01b516b64233
child 13870 cf947d1ec5ff
toggled show_main_goal
src/Pure/Isar/proof.ML
     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