Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Thu, 13 Sep 2018 11:24:24 +0200
changeset 68986 22f02724e7d1
parent 68985 5d35fd21a0b9
child 68987 e86d6e869b96
tuned message;
src/Pure/Thy/thy_resources.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle