--- a/src/Pure/PIDE/command.ML Mon Jul 29 15:20:02 2013 +0200
+++ b/src/Pure/PIDE/command.ML Mon Jul 29 15:59:47 2013 +0200
@@ -9,6 +9,7 @@
val read: (unit -> theory) -> Token.T list -> Toplevel.transition
type eval
val eval_eq: eval * eval -> bool
+ val eval_finished: eval -> bool
val eval_result_state: eval -> Toplevel.state
val eval: (unit -> theory) -> Token.T list -> eval -> eval
type print
@@ -116,6 +117,8 @@
fun eval_eq (Eval {exec_id, ...}, Eval {exec_id = exec_id', ...}) = exec_id = exec_id';
+fun eval_finished (Eval {eval_process, ...}) = memo_finished eval_process;
+
fun eval_result (Eval {eval_process, ...}) = memo_result eval_process;
val eval_result_state = #state o eval_result;