diff options
author | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 15:44:19 +0000 |
---|---|---|
committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 15:44:19 +0000 |
commit | f1f79d47593fbf293f2c17d197ca6765859f1822 (patch) | |
tree | 5cbcea230f40af5fdb7244abad21365e6d1ad412 /ide/coqOps.mli | |
parent | 3db2f94ee7303024ba962a2cc364dc86d73b806a (diff) |
CoqIDE: new async error reporting window and slaves status
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16778 85f007b7-540e-0410-9357-904b9bb8a0f7
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 |