# HG changeset patch
# User wenzelm
# Date 1536830664 -7200
# Node ID 22f02724e7d1d449f7d596eab51814c694a87b64
# Parent  5d35fd21a0b9caeb4f12dad5453f054b1eada4e9
tuned message;

diff -r 5d35fd21a0b9 -r 22f02724e7d1 src/Pure/Thy/thy_resources.scala
--- 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)