equal
deleted
inserted
replaced
225 val env = |
225 val env = |
226 Isabelle_System.settings() + |
226 Isabelle_System.settings() + |
227 ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString) |
227 ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString) |
228 |
228 |
229 def save_heap: String = |
229 def save_heap: String = |
230 "ML_Heap.share_common_data (); ML_Heap.save_child " + |
230 (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") + |
231 ML_Syntax.print_string_bytes(File.platform_path(output)) |
231 "ML_Heap.save_child " + ML_Syntax.print_string_bytes(File.platform_path(output)) |
232 |
232 |
233 if (pide && !Sessions.is_pure(name)) { |
233 if (pide && !Sessions.is_pure(name)) { |
234 val resources = new Resources(deps(parent)) |
234 val resources = new Resources(deps(parent)) |
235 val session = new Session(options, resources) |
235 val session = new Session(options, resources) |
236 val handler = new Handler(progress, session, name) |
236 val handler = new Handler(progress, session, name) |