Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/session.scala
changeset 50499 f496b2b7bafb
parent 50498 6647ba2775c1
child 50500 c94bba7906d2 
--- a/src/Pure/System/session.scala	Wed Dec 12 21:50:42 2012 +0100
+++ b/src/Pure/System/session.scala	Wed Dec 12 23:36:07 2012 +0100
@@ -426,7 +426,7 @@
           val dialog_result =
             XML.Elem(Markup(Markup.DIALOG_RESULT, Markup.Name(name) ::: Markup.Result(result)), Nil)
           handle_output(new Isabelle_Process.Output(
-            XML.Elem(Markup(Markup.REPORT, Position.Id(id)), List(dialog_result))))
+            XML.Elem(Markup(Markup.STATUS, Position.Id(id)), List(dialog_result))))
 
         case Messages(msgs) =>
           msgs foreach {
isabelle