# HG changeset patch
# User wenzelm
# Date 1521210128 -3600
# Node ID ff12c4556e2fd427de20ec1b40ba15c58037c8a6
# Parent  cc4832285c3875aacbcf05fd929a8a9efb87bded
tuned message;

diff -r cc4832285c38 -r ff12c4556e2f src/Pure/Thy/thy_resources.scala
--- 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)