1.1 --- a/src/Pure/PIDE/command.ML Mon Jul 29 22:17:32 2013 +0200
1.2 +++ b/src/Pure/PIDE/command.ML Tue Jul 30 11:38:43 2013 +0200
1.3 @@ -9,6 +9,7 @@
1.4 val read: (unit -> theory) -> Token.T list -> Toplevel.transition
1.5 type eval
1.6 val eval_eq: eval * eval -> bool
1.7 + val eval_running: eval -> bool
1.8 val eval_finished: eval -> bool
1.9 val eval_result_state: eval -> Toplevel.state
1.10 val eval: (unit -> theory) -> Token.T list -> eval -> eval
1.11 @@ -120,6 +121,7 @@
1.12
1.13 fun eval_eq (Eval {exec_id, ...}, Eval {exec_id = exec_id', ...}) = exec_id = exec_id';
1.14
1.15 +fun eval_running (Eval {exec_id, ...}) = Execution.is_running_exec exec_id;
1.16 fun eval_finished (Eval {eval_process, ...}) = memo_finished eval_process;
1.17
1.18 fun eval_result (Eval {eval_process, ...}) = memo_result eval_process;