equal
deleted
inserted
replaced
32 if (raw_ml_system) Nil |
32 if (raw_ml_system) Nil |
33 else { |
33 else { |
34 val selection = Sessions.Selection(sessions = List(logic_name)) |
34 val selection = Sessions.Selection(sessions = List(logic_name)) |
35 val (_, selected_sessions) = |
35 val (_, selected_sessions) = |
36 sessions.getOrElse(Sessions.load(options, dirs)).selection(selection) |
36 sessions.getOrElse(Sessions.load(options, dirs)).selection(selection) |
37 (selected_sessions.build_ancestors(logic_name) ::: List(logic_name)). |
37 selected_sessions.build_requirements(List(logic_name)). |
38 map(a => File.platform_path(store.heap(a))) |
38 map(a => File.platform_path(store.heap(a))) |
39 } |
39 } |
40 |
40 |
41 val eval_init = |
41 val eval_init = |
42 if (heaps.isEmpty) { |
42 if (heaps.isEmpty) { |