# HG changeset patch
# User wenzelm
# Date 1334414417 -7200
# Node ID a0007b769a34050b43d9b850885643de7d17c4a5
# Parent  28e15b9a70c1084e87b82ee1f6dc504c7afef813
report ISABELLE_HOME_WINDOWS;

diff -r 28e15b9a70c1 -r a0007b769a34 src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Sat Apr 14 15:46:19 2012 +0200
+++ b/src/Pure/System/gui_setup.scala	Sat Apr 14 16:40:17 2012 +0200
@@ -51,6 +51,9 @@
       val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64")
       if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n")
       text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n")
+      val isabelle_home_windows = Isabelle_System.getenv("ISABELLE_HOME_WINDOWS")
+      if (isabelle_home_windows != "")
+        text.append("Isabelle home (Windows): " + isabelle_home_windows + "\n")
       text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n")
     }
     catch { case ERROR(msg) => text.append(msg + "\n") }