equal
deleted
inserted
replaced
|
1 /* Title: Pure/System/main.scala |
|
2 Author: Makarius |
|
3 |
|
4 Default Isabelle application wrapper. |
|
5 */ |
|
6 |
|
7 package isabelle |
|
8 |
|
9 import scala.swing.TextArea |
|
10 |
|
11 |
|
12 object Main |
|
13 { |
|
14 def main(args: Array[String]) = |
|
15 { |
|
16 val (out, rc) = |
|
17 try { |
|
18 Platform.init_laf() |
|
19 Isabelle_System.init() |
|
20 Isabelle_System.isabelle_tool("jedit", args: _*) |
|
21 } |
|
22 catch { case exn: Throwable => (Exn.message(exn), 2) } |
|
23 |
|
24 if (rc != 0) { |
|
25 val text = new TextArea(out) |
|
26 text.editable = false |
|
27 Library.dialog(null, "Isabelle", "Isabelle output", text) |
|
28 } |
|
29 |
|
30 System.exit(rc) |
|
31 } |
|
32 } |
|
33 |