# HG changeset patch # User wenzelm # Date 1183974263 -7200 # Node ID 91d06b04951f0d01a288aa9da066f456ab4f3404 # Parent b3f05bc680b62e2e8ad0782b8686bfc40413319e simplified writeln_fn; diff -r b3f05bc680b6 -r 91d06b04951f src/Pure/ProofGeneral/proof_general_emacs.ML --- a/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Jul 09 11:44:22 2007 +0200 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Jul 09 11:44:23 2007 +0200 @@ -117,7 +117,7 @@ Output.writeln_default o enclose bg en o prefix_lines prfx; fun setup_messages () = - (Output.writeln_fn := (fn s => decorate "" "" "" s); + (Output.writeln_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);