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
Tue, 12 Nov 2024 11:04:54 +0100
changeset 81430 d23d9fd83ef0
parent 81429 0ccfc82fff57
child 81431 3585a1a77ad1
tuned;
src/Pure/PIDE/command.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/command.scala	Mon Nov 11 13:15:55 2024 +0100
+++ b/src/Pure/PIDE/command.scala	Tue Nov 12 11:04:54 2024 +0100
@@ -333,10 +333,8 @@
         case XML.Elem(Markup(name, props), body) =>
           props match {
             case Markup.Serial(i) =>
-              val markup_message =
-                cache.elem(Protocol.make_message(body, name, props = props))
-              val message_markup =
-                cache.elem(XML.elem(Markup(name, props.filter(p => p._1 == Markup.SERIAL))))
+              val markup_message = cache.elem(Protocol.make_message(body, name, props = props))
+              val message_markup = cache.elem(XML.elem(Markup(name, Markup.Serial(i))))
 
               var st = add_result(i -> markup_message)
               if (Protocol.is_inlined(message)) {
isabelle