1.1 --- a/src/Pure/PIDE/command.ML	Mon Jul 29 15:20:02 2013 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Mon Jul 29 15:59:47 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_finished: eval -> bool
     1.8    val eval_result_state: eval -> Toplevel.state
     1.9    val eval: (unit -> theory) -> Token.T list -> eval -> eval
    1.10    type print
    1.11 @@ -116,6 +117,8 @@
    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_finished (Eval {eval_process, ...}) = memo_finished eval_process;
    1.16 +
    1.17  fun eval_result (Eval {eval_process, ...}) = memo_result eval_process;
    1.18  val eval_result_state = #state o eval_result;
    1.19