equal
deleted
inserted
replaced
11 |
11 |
12 object Main |
12 object Main |
13 { |
13 { |
14 def main(args: Array[String]) |
14 def main(args: Array[String]) |
15 { |
15 { |
16 val (out, rc) = |
16 args.toList match { |
17 try { |
17 case "-i" :: rest => |
18 GUI.init_laf() |
18 if (Platform.is_windows) Cygwin_Init.main(rest.toArray) |
19 Isabelle_System.init() |
|
20 Isabelle_System.isabelle_tool("jedit", ("-s" :: args.toList): _*) |
|
21 } |
|
22 catch { case exn: Throwable => (Exn.message(exn), 2) } |
|
23 |
19 |
24 if (rc != 0) |
20 case _ => |
25 GUI.dialog(null, "Isabelle", "Isabelle output", |
21 val (out, rc) = |
26 GUI.scrollable_text(out + "\nReturn code: " + rc)) |
22 try { |
|
23 GUI.init_laf() |
|
24 Isabelle_System.init() |
|
25 Isabelle_System.isabelle_tool("jedit", ("-s" :: "--" :: args.toList): _*) |
|
26 } |
|
27 catch { case exn: Throwable => (Exn.message(exn), 2) } |
27 |
28 |
28 sys.exit(rc) |
29 if (rc != 0) |
|
30 GUI.dialog(null, "Isabelle", "Isabelle output", |
|
31 GUI.scrollable_text(out + "\nReturn code: " + rc)) |
|
32 |
|
33 sys.exit(rc) |
|
34 } |
29 } |
35 } |
30 } |
36 } |
31 |
37 |