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.
tuned;
authorwenzelm
Thu, 28 Aug 2008 00:33:15 +0200
changeset 28036 a58e4da3d184
parent 28035 7120e58464e4
child 28037 915b9a777441
tuned;
src/Pure/Tools/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:13 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 00:33:15 2008 +0200
@@ -36,7 +36,7 @@
 val xmlN = "XML";
 
 val _ = Output.add_mode isabelle_processN Output.default_output Output.default_escape;
-val _ = Markup.add_mode isabelle_processN (YXML.output_markup);
+val _ = Markup.add_mode isabelle_processN YXML.output_markup;
 
 
 (* message markup *)
isabelle