diff options
Diffstat (limited to 'ide/coqOps.mli')
-rw-r--r-- | ide/coqOps.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index 48a07f48b..37daaf307 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -19,6 +19,11 @@ object method show_goals : unit task method backtrack_last_phrase : unit task method initialize : unit task + method join_document : unit task + + method handle_failure : Interface.handle_exn_rty -> unit task + + method destroy : unit -> unit end class coqops : |