# HG changeset patch
# User wenzelm
# Date 1194191009 -3600
# Node ID 189db9ef803f63cf2114103cf40f0dc4866c85e2
# Parent  2dbc2bbe237a8b11a1863afb145086526956dde8
Output.add_mode default prevents escapes from ProofGeneral mode;

diff -r 2dbc2bbe237a -r 189db9ef803f src/Pure/ProofGeneral/pgml_isabelle.ML
--- a/src/Pure/ProofGeneral/pgml_isabelle.ML	Sun Nov 04 16:43:28 2007 +0100
+++ b/src/Pure/ProofGeneral/pgml_isabelle.ML	Sun Nov 04 16:43:29 2007 +0100
@@ -18,6 +18,7 @@
 val pgmlN = "PGML";
 fun pgml_mode f x = PrintMode.with_modes [pgmlN] f x;
 
+val _ = Output.add_mode pgmlN Output.default_output Output.default_escape;
 val _ = Markup.add_mode pgmlN (fn markup as (name, _) => ("", ""));
 
 end;