XML.output_markup;
authorwenzelm
Thu Apr 03 18:42:40 2008 +0200 (2008-04-03)
changeset 26542ffc1f97ab5fc
parent 26541 14b268974c4b
child 26543 cd01c8eb314a
XML.output_markup;
src/Pure/ProofGeneral/proof_general_emacs.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 18:42:39 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 18:42:40 2008 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4        else ("", "");
     1.5      val (bg2, en2) =
     1.6        if print_mode_active IsabelleProcess.test_markupN
     1.7 -      then IsabelleProcess.output_markup (name, props)
     1.8 +      then XML.output_markup (name, props)
     1.9        else ("", "");
    1.10    in (bg1 ^ bg2, en2 ^ en1) end;
    1.11