Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Output.add_mode default prevents escapes from ProofGeneral mode;
authorwenzelm
Sun, 04 Nov 2007 16:43:29 +0100
changeset 25273 189db9ef803f
parent 25272 2dbc2bbe237a
child 25274 5c590f3f7a09
Output.add_mode default prevents escapes from ProofGeneral mode;
src/Pure/ProofGeneral/pgml_isabelle.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle