--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Sep 27 18:16:36 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Sep 27 20:26:10 2010 +0200
@@ -71,7 +71,7 @@
fun message bg en prfx text =
(case render text of
"" => ()
- | s => Output.writeln_default (enclose bg en (prefix_lines prfx s)));
+ | s => Output.raw_writeln (enclose bg en (prefix_lines prfx s)));
fun setup_messages () =
(Output.writeln_fn := message "" "" "";
@@ -81,7 +81,7 @@
Output.tracing_fn := message (special "I" ^ special "V") (special "J") "";
Output.warning_fn := message (special "K") (special "L") "### ";
Output.error_fn := message (special "M") (special "N") "*** ";
- Output.prompt_fn := (fn s => Output.std_output (render s ^ special "S")));
+ Output.prompt_fn := (fn s => Output.raw_stdout (render s ^ special "S")));
fun panic s =
(message (special "M") (special "N") "!!! " ("## SYSTEM EXIT ##\n" ^ s); exit 1);