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
Wed, 05 Dec 2012 18:07:32 +0100
changeset 50372 11c96cac860d
parent 50371 9b6f5f758c31
child 50373 025f758fa24b
tuned message;
src/Pure/System/build_dialog.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/build_dialog.scala	Wed Dec 05 17:48:58 2012 +0100
+++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 18:07:32 2012 +0100
@@ -88,7 +88,7 @@
 
     /* main build */
 
-    progress.echo("Build started ...")
+    progress.echo("Build started for Isabelle/" + session + " ...")
 
     default_thread_pool.submit(() => {
       val (out, rc) =
isabelle