isar: avoid verbose goal responses;
authorwenzelm
Wed Sep 01 21:05:48 1999 +0200 (1999-09-01)
changeset 7407fc8cad55af74
parent 7406 e94cbbe72c5d
child 7408 1ec1567c1307
isar: avoid verbose goal responses;
src/Pure/Interface/proof_general.ML
     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 *)