# HG changeset patch
# User wenzelm
# Date 1207240960 -7200
# Node ID ffc1f97ab5fc0b0793b60303c84d5c9584b4b0d0
# Parent  14b268974c4b3c7f4c56355b7139d90e3e1c0249
XML.output_markup;

diff -r 14b268974c4b -r ffc1f97ab5fc 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;