src/Pure/PIDE/command.ML
changeset 52784 4ba2e8b9972f
parent 52775 e0169f13bd37
child 52785 ecc7d8de4f94
     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;