IsabelleProcess.output_markup;

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