equal
deleted
inserted
replaced
46 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
46 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
47 if (Platform.is_windows) |
47 if (Platform.is_windows) |
48 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
48 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
49 try { |
49 try { |
50 val isabelle_system = new Isabelle_System |
50 val isabelle_system = new Isabelle_System |
51 text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n") |
51 text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n") |
52 text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n") |
52 text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n") |
53 val platform64 = isabelle_system.getenv("ISABELLE_PLATFORM64") |
53 val platform64 = isabelle_system.getenv("ISABELLE_PLATFORM64") |
54 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
54 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
|
55 text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n") |
55 text.append("Isabelle java: " + isabelle_system.this_java() + "\n") |
56 text.append("Isabelle java: " + isabelle_system.this_java() + "\n") |
56 } catch { |
57 } catch { |
57 case e: RuntimeException => text.append(e.getMessage + "\n") |
58 case e: RuntimeException => text.append(e.getMessage + "\n") |
58 } |
59 } |
59 |
60 |