src/Pure/Interface/proof_general.ML
changeset 7407 fc8cad55af74
parent 7330 109b1ef4686a
child 7579 20adf381fb0a
     1.1 --- a/src/Pure/Interface/proof_general.ML	Wed Sep 01 21:05:19 1999 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Wed Sep 01 21:05:48 1999 +0200
     1.3 @@ -126,7 +126,8 @@
     1.4    if isar then
     1.5     (Toplevel.print_state_fn := plain_writeln Toplevel.print_state_default;
     1.6      Toplevel.prompt_state_fn := (suffix (oct_char "372") o Toplevel.prompt_state_default))
     1.7 -  else Goals.print_current_goals_fn := print_current_goals);
     1.8 +  else ();
     1.9 +  Goals.print_current_goals_fn := print_current_goals);  (*isar: avoids verbose responses*)
    1.10  
    1.11  
    1.12  (* theory loader actions *)