--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Tue Jul 15 12:13:14 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Tue Jul 15 14:15:43 2008 +0200
@@ -84,6 +84,7 @@
fun setup_messages () =
(Output.writeln_fn := Output.writeln_default;
+ Output.status_fn := Output.writeln_default;
Output.priority_fn := (fn s => decorate (special "360") (special "361") "" s);
Output.tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
Output.debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);