diff options
Diffstat (limited to 'ide/coqOps.mli')
| -rw-r--r-- | ide/coqOps.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index 5816ef86e..e313cd47a 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -21,8 +21,12 @@ object method backtrack_last_phrase : unit task method initialize : unit task method join_document : unit task + + method get_n_errors : int + method get_errors : (int * string) list method get_slaves_status : int * int + method handle_failure : Interface.handle_exn_rty -> unit task method destroy : unit -> unit |