author | wenzelm |
Fri, 16 Mar 2018 15:22:08 +0100 | |
changeset 67877 | ff12c4556e2f |
parent 67876 | cc4832285c38 |
child 67878 | 15027fb50a0c |
--- a/src/Pure/Thy/thy_resources.scala Fri Mar 16 14:13:07 2018 +0100 +++ b/src/Pure/Thy/thy_resources.scala Fri Mar 16 15:22:08 2018 +0100 @@ -40,6 +40,7 @@ } session.phase_changed += session_phase + progress.echo("Starting " + session_name + " ...") Isabelle_Process.start(session, options, logic = session_name, dirs = session_dirs, modes = print_mode)