# HG changeset patch
# User wenzelm
# Date 1271538352 -7200
# Node ID 2e92aca73cab416a16fe21f68b29465064babcf8
# Parent  cbb9ee265cddd0bf217636af7cfd28dc35f23a9c
more platform info;

diff -r cbb9ee265cdd -r 2e92aca73cab src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Sat Apr 17 22:58:29 2010 +0200
+++ b/src/Pure/System/gui_setup.scala	Sat Apr 17 23:05:52 2010 +0200
@@ -49,7 +49,10 @@
     try {
       val isabelle_system = new Isabelle_System
       text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")
-      text.append("Isabelle java: " + isabelle_system.this_java())
+      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 java: " + isabelle_system.this_java() + "\n")
     } catch {
       case e: RuntimeException => text.append(e.getMessage + "\n")
     }