--- 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(() => {