41 // values |
41 // values |
42 if (Platform.is_windows) |
42 if (Platform.is_windows) |
43 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
43 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
44 text.append("JVM name: " + Platform.jvm_name + "\n") |
44 text.append("JVM name: " + Platform.jvm_name + "\n") |
45 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
45 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
|
46 text.append("JVM home: " + java.lang.System.getProperty("java.home") + "\n") |
46 try { |
47 try { |
47 Isabelle_System.init() |
48 Isabelle_System.init() |
48 text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n") |
49 text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n") |
49 text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n") |
50 text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n") |
50 val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64") |
51 val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64") |
51 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
52 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
52 text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n") |
53 text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n") |
53 text.append("Isabelle java: " + Isabelle_System.getenv("THIS_JAVA") + "\n") |
54 text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n") |
54 } |
55 } |
55 catch { case ERROR(msg) => text.append(msg + "\n") } |
56 catch { case ERROR(msg) => text.append(msg + "\n") } |
56 |
57 |
57 // reactions |
58 // reactions |
58 listenTo(ok) |
59 listenTo(ok) |