equal
deleted
inserted
replaced
571 { |
571 { |
572 val session = new Session(session_base_info.session, options, resources) |
572 val session = new Session(session_base_info.session, options, resources) |
573 |
573 |
574 progress.echo("Starting session " + session_base_info.session + " ...") |
574 progress.echo("Starting session " + session_base_info.session + " ...") |
575 Isabelle_Process(session, options, session_base_info.sessions_structure, store, |
575 Isabelle_Process(session, options, session_base_info.sessions_structure, store, |
576 logic = session_base_info.session, modes = print_mode).startup_join() |
576 logic = session_base_info.session, modes = print_mode).await_startup |
577 |
577 |
578 session |
578 session |
579 } |
579 } |
580 |
580 |
581 |
581 |