simplified writeln_fn;
authorwenzelm
Mon Jul 09 11:44:23 2007 +0200 (2007-07-09)
changeset 2366291d06b04951f
parent 23661 b3f05bc680b6
child 23663 84b5c89b8b49
simplified writeln_fn;
src/Pure/ProofGeneral/proof_general_emacs.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 09 11:44:22 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 09 11:44:23 2007 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4    Output.writeln_default o enclose bg en o prefix_lines prfx;
     1.5  
     1.6  fun setup_messages () =
     1.7 - (Output.writeln_fn := (fn s => decorate "" "" "" s);
     1.8 + (Output.writeln_fn := Output.writeln_default;
     1.9    Output.priority_fn := (fn s => decorate (special "360") (special "361") "" s);
    1.10    Output.tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
    1.11    Output.debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);