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 deps;
authorwenzelm
Thu, 02 Nov 2017 15:21:35 +0100
changeset 66991 fc87d3becd69
parent 66990 b23adab22e67
child 66992 69673025292e
proper deps;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Thu Nov 02 11:47:32 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Thu Nov 02 15:21:35 2017 +0100
@@ -389,7 +389,7 @@
                   parent = ancestor,
                   description = "Required theory imports from other sessions",
                   options = Nil,
-                  imports = info.imports,
+                  imports = info.deps,
                   theories = List((Nil, required_theories.map(thy => ((thy, Position.none), false)))),
                   document_files = Nil))))
         }
isabelle