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/Thy/thy_syntax.scala
changeset 83226 37b61794a93a
parent 82956 e5fa061b9570 
--- a/src/Pure/Thy/thy_syntax.scala	Wed Sep 24 16:53:36 2025 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Wed Sep 24 17:41:36 2025 +0200
@@ -188,8 +188,8 @@
                   XML.Elem(Markup.Bad(Document_ID.make()),
                     XML.string("Changed sources for loaded theory " + quote(theory) +
                       ":\n" + cat_lines(changed.map(a => "  " + quote(a)))))
-                Command.unparsed(node.source, theory = true, id = command.id, node_name = node_name,
-                  blobs_info = command.blobs_info,
+                Command.unparsed(node.source, theory_commands = Some(0), id = command.id,
+                  node_name = node_name, blobs_info = command.blobs_info,
                   markups = Command.Markups.empty.add(Text.Info(node_range, msg)))
               }
isabelle