Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/gui_setup.scala
changeset 43661 39fdbd814c7f
parent 43650 f00da558b78e
child 47113 b5a5662528fb 
--- a/src/Pure/System/gui_setup.scala	Mon Jul 04 20:18:19 2011 +0200
+++ b/src/Pure/System/gui_setup.scala	Mon Jul 04 22:11:32 2011 +0200
@@ -44,14 +44,15 @@
     text.append("JVM name: " + Platform.jvm_name + "\n")
     text.append("JVM platform: " + Platform.jvm_platform + "\n")
     try {
-      val isabelle_system = Isabelle_System.default
-      text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n")
-      text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n")
-      val platform64 = isabelle_system.getenv("ISABELLE_PLATFORM64")
+      Isabelle_System.init()
+      text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n")
+      text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n")
+      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")
-      text.append("Isabelle java: " + isabelle_system.this_java() + "\n")
-    } catch { case ERROR(msg) => text.append(msg + "\n") }
+      text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n")
+      text.append("Isabelle java: " + Isabelle_System.getenv("THIS_JAVA") + "\n")
+    }
+    catch { case ERROR(msg) => text.append(msg + "\n") }
 
     // reactions
     listenTo(ok)
isabelle