# 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);