equal
deleted
inserted
replaced
19 Isabelle_System.init() |
19 Isabelle_System.init() |
20 Isabelle_System.isabelle_tool("jedit", args: _*) |
20 Isabelle_System.isabelle_tool("jedit", args: _*) |
21 } |
21 } |
22 catch { case exn: Throwable => (Exn.message(exn), 2) } |
22 catch { case exn: Throwable => (Exn.message(exn), 2) } |
23 |
23 |
24 if (rc != 0) { |
24 if (rc != 0) |
25 val text = new TextArea(out + "\nReturn code: " + rc) |
25 Library.dialog(null, "Isabelle", "Isabelle output", |
26 text.editable = false |
26 Library.scrollable_text(out + "\nReturn code: " + rc)) |
27 Library.dialog(null, "Isabelle", "Isabelle output", text) |
|
28 } |
|
29 |
27 |
30 System.exit(rc) |
28 System.exit(rc) |
31 } |
29 } |
32 } |
30 } |
33 |
31 |