src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 27604 6c347b96d941
parent 27578 75945c883672
child 27828 edafacb690a3
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Jul 15 12:13:14 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Jul 15 14:15:43 2008 +0200
     1.3 @@ -182,6 +182,7 @@
     1.4  
     1.5  fun setup_messages () =
     1.6   (Output.writeln_fn := (fn s => normalmsg Message s);
     1.7 +  Output.status_fn := (fn _ => ());
     1.8    Output.priority_fn := (fn s => normalmsg Status s);
     1.9    Output.tracing_fn := (fn s => normalmsg  Tracing s);
    1.10    Output.warning_fn := (fn s => errormsg Message Warning s);