equal
deleted
inserted
replaced
110 selection_deps(selection) |
110 selection_deps(selection) |
111 |
111 |
112 val include_sessions = |
112 val include_sessions = |
113 deps.sessions_structure.imports_topological_order |
113 deps.sessions_structure.imports_topological_order |
114 |
114 |
115 val use_theories = deps.used_theories_conditions(progress.echo_warning) |
115 val use_theories = deps.used_theories_condition(progress.echo_warning).map(_.theory) |
116 |
116 |
117 |
117 |
118 /* dump aspects asynchronously */ |
118 /* dump aspects asynchronously */ |
119 |
119 |
120 object Consumer |
120 object Consumer |