1.1 --- a/src/Pure/System/gui_setup.scala	Sat Apr 14 15:46:19 2012 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Sat Apr 14 16:40:17 2012 +0200
     1.3 @@ -51,6 +51,9 @@
     1.4        val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64")
     1.5        if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n")
     1.6        text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n")
     1.7 +      val isabelle_home_windows = Isabelle_System.getenv("ISABELLE_HOME_WINDOWS")
     1.8 +      if (isabelle_home_windows != "")
     1.9 +        text.append("Isabelle home (Windows): " + isabelle_home_windows + "\n")
    1.10        text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n")
    1.11      }
    1.12      catch { case ERROR(msg) => text.append(msg + "\n") }