equal
deleted
inserted
replaced
37 contents = panel |
37 contents = panel |
38 |
38 |
39 // values |
39 // values |
40 if (Platform.is_windows) |
40 if (Platform.is_windows) |
41 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
41 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
|
42 text.append("JVM name: " + System.getProperty("java.vm.name") + "\n") |
42 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
43 text.append("JVM platform: " + Platform.jvm_platform + "\n") |
43 try { |
44 try { |
44 val isabelle_system = new Isabelle_System |
45 val isabelle_system = new Isabelle_System |
45 text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n") |
46 text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n") |
46 text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n") |
47 text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n") |