equal
deleted
inserted
replaced
46 |
46 |
47 fun run_command name args = |
47 fun run_command name args = |
48 (case Symtab.lookup (Synchronized.value commands) name of |
48 (case Symtab.lookup (Synchronized.value commands) name of |
49 NONE => error ("Undefined Isabelle protocol command " ^ quote name) |
49 NONE => error ("Undefined Isabelle protocol command " ^ quote name) |
50 | SOME cmd => |
50 | SOME cmd => |
51 (Runtime.debugging cmd args handle exn => |
51 (Toplevel.debugging cmd args handle exn => |
52 error ("Isabelle protocol command failure: " ^ quote name ^ "\n" ^ |
52 error ("Isabelle protocol command failure: " ^ quote name ^ "\n" ^ |
53 ML_Compiler.exn_message exn))); |
53 ML_Compiler.exn_message exn))); |
54 |
54 |
55 end; |
55 end; |
56 |
56 |