equal
deleted
inserted
replaced
49 text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n") |
49 text.append("ML platform: " + Isabelle_System.getenv("ML_PLATFORM") + "\n") |
50 text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n") |
50 text.append("Isabelle platform: " + Isabelle_System.getenv("ISABELLE_PLATFORM") + "\n") |
51 val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64") |
51 val platform64 = Isabelle_System.getenv("ISABELLE_PLATFORM64") |
52 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
52 if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n") |
53 text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n") |
53 text.append("Isabelle home: " + Isabelle_System.getenv("ISABELLE_HOME") + "\n") |
|
54 val isabelle_home_windows = Isabelle_System.getenv("ISABELLE_HOME_WINDOWS") |
|
55 if (isabelle_home_windows != "") |
|
56 text.append("Isabelle home (Windows): " + isabelle_home_windows + "\n") |
54 text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n") |
57 text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n") |
55 } |
58 } |
56 catch { case ERROR(msg) => text.append(msg + "\n") } |
59 catch { case ERROR(msg) => text.append(msg + "\n") } |
57 |
60 |
58 // reactions |
61 // reactions |