# HG changeset patch
# User wenzelm
# Date 1354730903 -3600
# Node ID 1a7cae0711d216e372a0096d2c6826bee2d2408a
# Parent  025f758fa24b9a133f7c8791489c190e211ebbda
tuned message;

diff -r 025f758fa24b -r 1a7cae0711d2 src/Pure/System/build_dialog.scala
--- a/src/Pure/System/build_dialog.scala	Wed Dec 05 18:09:38 2012 +0100
+++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 19:08:23 2012 +0100
@@ -43,9 +43,6 @@
     include_dirs: List[Path],
     session: String): MainFrame = new MainFrame
   {
-    title = "Isabelle build"
-
-
     /* GUI state */
 
     private var is_stopped = false
@@ -88,6 +85,7 @@
 
     /* main build */
 
+    title = "Isabelle build (" + Isabelle_System.getenv("ML_IDENTIFIER") + ")"
     progress.echo("Build started for Isabelle/" + session + " ...")
 
     default_thread_pool.submit(() => {