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.
proper session base foundations (amending e848328cb2c1);
authorwenzelm
Sat, 05 Jan 2019 14:50:36 +0100
changeset 69594 1d340f7f8dce
parent 69593 3dda49e08b9d
child 69595 ec135235fbcc
proper session base foundations (amending e848328cb2c1);
src/Pure/PIDE/headless.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/headless.scala	Fri Jan 04 23:22:53 2019 +0100
+++ b/src/Pure/PIDE/headless.scala	Sat Jan 05 14:50:36 2019 +0100
@@ -110,7 +110,7 @@
             (already_committed /: dep_theories)({ case (committed, name) =>
               def parents_committed: Boolean =
                 version.nodes(name).header.imports.forall({ case (parent, _) =>
-                  Sessions.is_pure(parent.theory) || committed.isDefinedAt(parent)
+                  resources.session_base.loaded_theory(parent) || committed.isDefinedAt(parent)
                 })
               if (!committed.isDefinedAt(name) && parents_committed &&
                   state.node_consolidated(version, name))
isabelle