equal
deleted
inserted
replaced
13 options: Options, |
13 options: Options, |
14 logic: String = "", |
14 logic: String = "", |
15 args: List[String] = Nil, |
15 args: List[String] = Nil, |
16 dirs: List[Path] = Nil, |
16 dirs: List[Path] = Nil, |
17 modes: List[String] = Nil, |
17 modes: List[String] = Nil, |
18 store: Sessions.Store = Sessions.store()) |
18 store: Sessions.Store = Sessions.store(), |
|
19 phase_changed: Session.Phase => Unit = null) |
19 { |
20 { |
|
21 if (phase_changed != null) |
|
22 session.phase_changed += Session.Consumer("Isabelle_Process")(phase_changed) |
|
23 |
20 session.start(receiver => |
24 session.start(receiver => |
21 Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, |
25 Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, |
22 receiver = receiver, xml_cache = session.xml_cache, store = store)) |
26 receiver = receiver, xml_cache = session.xml_cache, store = store)) |
23 } |
27 } |
24 |
28 |