1.1 --- a/src/Pure/System/build_dialog.scala	Wed Dec 05 18:09:38 2012 +0100
     1.2 +++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 19:08:23 2012 +0100
     1.3 @@ -43,9 +43,6 @@
     1.4      include_dirs: List[Path],
     1.5      session: String): MainFrame = new MainFrame
     1.6    {
     1.7 -    title = "Isabelle build"
     1.8 -
     1.9 -
    1.10      /* GUI state */
    1.11  
    1.12      private var is_stopped = false
    1.13 @@ -88,6 +85,7 @@
    1.14  
    1.15      /* main build */
    1.16  
    1.17 +    title = "Isabelle build (" + Isabelle_System.getenv("ML_IDENTIFIER") + ")"
    1.18      progress.echo("Build started for Isabelle/" + session + " ...")
    1.19  
    1.20      default_thread_pool.submit(() => {