diff options
Diffstat (limited to 'ide/coqOps.mli')
| -rw-r--r-- | ide/coqOps.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqOps.mli b/ide/coqOps.mli index 37daaf3072..d286ad3d17 100644 --- a/ide/coqOps.mli +++ b/ide/coqOps.mli @@ -11,6 +11,7 @@ open Coq class type ops = object method go_to_insert : unit task + method go_to_mark : GText.mark -> unit task method tactic_wizard : string list -> unit task method process_next_phrase : unit task method process_until_end_or_error : unit task |