Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more platform information;
authorwenzelm
Mon, 19 Apr 2010 17:31:48 +0200
changeset 36206 a7d7f928d8b8
parent 36205 e86d9a10e982
child 36207 a94bbede91c7
more platform information;
src/Pure/System/gui_setup.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/gui_setup.scala	Mon Apr 19 17:27:41 2010 +0200
+++ b/src/Pure/System/gui_setup.scala	Mon Apr 19 17:31:48 2010 +0200
@@ -48,10 +48,11 @@
       text.append("Cygwin root: " + Cygwin.check_root() + "\n")
     try {
       val isabelle_system = new Isabelle_System
-      text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")
+      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 e: RuntimeException => text.append(e.getMessage + "\n")
isabelle