src/Pure/ProofGeneral/proof_general_emacs.ML

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 18:42:39 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 18:42:40 2008 +0200
@@ -108,7 +108,7 @@
       else ("", "");
     val (bg2, en2) =
       if print_mode_active IsabelleProcess.test_markupN
-      then IsabelleProcess.output_markup (name, props)
+      then XML.output_markup (name, props)
       else ("", "");
   in (bg1 ^ bg2, en2 ^ en1) end;