# HG changeset patch
# User wenzelm
# Date 1204754292 -3600
# Node ID 0951918f9b66ccf5c9747edfa3d7f3cd5671c53e
# Parent  18194535f799eac204c7ec5ea09eb067fea9562c
IsabelleProcess.output_markup;

diff -r 18194535f799 -r 0951918f9b66 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Mar 05 22:58:11 2008 +0100
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Mar 05 22:58:12 2008 +0100
@@ -108,7 +108,7 @@
       else ("", "");
     val (bg2, en2) =
       if print_mode_active IsabelleProcess.test_markupN
-      then IsabelleProcess.test_markup (name, props)
+      then IsabelleProcess.output_markup (name, props)
       else ("", "");
   in (bg1 ^ bg2, en2 ^ en1) end;