equal
deleted
inserted
replaced
33 sessions_structure.getOrElse(Sessions.load_structure(options, dirs = dirs)) |
33 sessions_structure.getOrElse(Sessions.load_structure(options, dirs = dirs)) |
34 |
34 |
35 val heaps: List[String] = |
35 val heaps: List[String] = |
36 if (raw_ml_system) Nil |
36 if (raw_ml_system) Nil |
37 else { |
37 else { |
38 val selection = Sessions.Selection(sessions = List(logic_name)) |
38 sessions_structure1.selection(Sessions.Selection.session(logic_name)). |
39 sessions_structure1.selection(selection). |
|
40 build_requirements(List(logic_name)). |
39 build_requirements(List(logic_name)). |
41 map(a => File.platform_path(_store.the_heap(a))) |
40 map(a => File.platform_path(_store.the_heap(a))) |
42 } |
41 } |
43 |
42 |
44 val eval_init = |
43 val eval_init = |