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/Build/build.scala
changeset 83226 37b61794a93a
parent 83223 a225609e3344
child 83266 2f75f2495e3e 
--- a/src/Pure/Build/build.scala	Wed Sep 24 16:53:36 2025 +0200
+++ b/src/Pure/Build/build.scala	Wed Sep 24 17:41:36 2025 +0200
@@ -795,7 +795,7 @@
             yield i -> elem)
 
       val command =
-        Command.unparsed(thy_source, theory = true, id = id,
+        Command.unparsed(thy_source, theory_commands = Some(0), id = id,
           node_name = Document.Node.Name(thy_file, theory = theory_context.theory),
           blobs_info = Command.Blobs_Info.make(blobs),
           markups = markups, results = results)
isabelle