# HG changeset patch
# User wenzelm
# Date 1246648486 -7200
# Node ID 2d8e508865589eb045233864c580b2ac1b911d27
# Parent  9a0f28bcc81d1b09076c94324cef8c0fd0e95fe9
init/check Isabelle_System;

diff -r 9a0f28bcc81d -r 2d8e50886558 src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Fri Jul 03 21:14:16 2009 +0200
+++ b/src/Pure/System/gui_setup.scala	Fri Jul 03 21:14:46 2009 +0200
@@ -43,9 +43,6 @@
     }
 
     // values
-    if (Platform.is_windows) {
-      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
-    }
     Platform.defaults match {
       case None =>
       case Some((name, None)) => text.append("Platform: " + name + "\n")
@@ -53,7 +50,15 @@
         text.append("Main platform: " + name1 + "\n")
         text.append("Alternative platform: " + name2 + "\n")
     }
-    text.append("Isabelle home: " + java.lang.System.getProperty("isabelle.home"))
+    if (Platform.is_windows) {
+      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
+    }
+    try {
+      val isabelle_system = new Isabelle_System
+      text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")
+    } catch {
+      case e: RuntimeException => text.append(e.getMessage + "\n")
+    }
 
     // reactions
     listenTo(ok)