equal
deleted
inserted
replaced
54 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
54 text.append("Cygwin root: " + Cygwin.check_root() + "\n") |
55 } |
55 } |
56 try { |
56 try { |
57 val isabelle_system = new Isabelle_System |
57 val isabelle_system = new Isabelle_System |
58 text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n") |
58 text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n") |
|
59 text.append("Isabelle java: " + isabelle_system.this_java()) |
59 } catch { |
60 } catch { |
60 case e: RuntimeException => text.append(e.getMessage + "\n") |
61 case e: RuntimeException => text.append(e.getMessage + "\n") |
61 } |
62 } |
62 |
63 |
63 // reactions |
64 // reactions |