src/Pure/PIDE/command.ML
changeset 52772 7764c90680f0
parent 52762 c2a6e220f157
child 52774 627fb639a2d9
--- 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;