equal
deleted
inserted
replaced
34 Isabelle_System.default_logic(logic, |
34 Isabelle_System.default_logic(logic, |
35 if (logic_option != "") options.string(logic_option) else "") |
35 if (logic_option != "") options.string(logic_option) else "") |
36 |
36 |
37 val system_dialog = new System_Dialog |
37 val system_dialog = new System_Dialog |
38 dialog(options, system_dialog, system_mode, dirs, session) |
38 dialog(options, system_dialog, system_mode, dirs, session) |
39 sys.exit(system_dialog.join) |
39 system_dialog.join_exit |
40 |
40 |
41 case _ => error("Bad arguments:\n" + cat_lines(args)) |
41 case _ => error("Bad arguments:\n" + cat_lines(args)) |
42 } |
42 } |
43 } |
43 } |
44 catch { |
44 catch { |