equal
deleted
inserted
replaced
86 { |
86 { |
87 /* dependencies */ |
87 /* dependencies */ |
88 |
88 |
89 val deps = |
89 val deps = |
90 Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs). |
90 Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs). |
91 selection_deps(selection) |
91 selection_deps(dump_options, selection, uniform_session = true, loading_sessions = true) |
92 |
92 |
93 val include_sessions = |
93 val include_sessions = |
94 deps.sessions_structure.imports_topological_order |
94 deps.sessions_structure.imports_topological_order |
95 |
95 |
96 val use_theories = |
96 val use_theories = |