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;