1.1 --- a/src/Pure/System/gui_setup.scala	Fri Jul 03 21:14:16 2009 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Fri Jul 03 21:14:46 2009 +0200
     1.3 @@ -43,9 +43,6 @@
     1.4      }
     1.5  
     1.6      // values
     1.7 -    if (Platform.is_windows) {
     1.8 -      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
     1.9 -    }
    1.10      Platform.defaults match {
    1.11        case None =>
    1.12        case Some((name, None)) => text.append("Platform: " + name + "\n")
    1.13 @@ -53,7 +50,15 @@
    1.14          text.append("Main platform: " + name1 + "\n")
    1.15          text.append("Alternative platform: " + name2 + "\n")
    1.16      }
    1.17 -    text.append("Isabelle home: " + java.lang.System.getProperty("isabelle.home"))
    1.18 +    if (Platform.is_windows) {
    1.19 +      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
    1.20 +    }
    1.21 +    try {
    1.22 +      val isabelle_system = new Isabelle_System
    1.23 +      text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")
    1.24 +    } catch {
    1.25 +      case e: RuntimeException => text.append(e.getMessage + "\n")
    1.26 +    }
    1.27  
    1.28      // reactions
    1.29      listenTo(ok)