changeset 68986 | 22f02724e7d1 |
parent 68981 | 30daac7848b9 |
--- a/src/Pure/Thy/thy_resources.scala Thu Sep 13 08:36:51 2018 +0200 +++ b/src/Pure/Thy/thy_resources.scala Thu Sep 13 11:24:24 2018 +0200 @@ -47,7 +47,7 @@ } session.phase_changed += session_phase - progress.echo("Starting " + session_name + " ...") + progress.echo("Starting session " + session_name + " ...") Isabelle_Process.start(session, options, logic = session_name, dirs = session_dirs, modes = print_mode)