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/Tools/build_job.scala
changeset 75903 dce94a1d18fd
parent 75791 fb12433208aa
child 75909 198a52d26b57 
--- a/src/Pure/Tools/build_job.scala	Fri Aug 19 14:59:24 2022 +0200
+++ b/src/Pure/Tools/build_job.scala	Fri Aug 19 15:06:04 2022 +0200
@@ -26,7 +26,7 @@
 
     for {
       id <- theory_context.document_id()
-      (thy_file, blobs_files) <- theory_context.files()
+      (thy_file, blobs_files) <- theory_context.files(permissive = true)
     }
     yield {
       val node_name = Resources.file_node(Path.explode(thy_file), theory = theory_context.theory)
isabelle