diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 83e6ea93bd..dff178bc2d 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -84,12 +84,12 @@ val get_current_goals : unit -> goal list val get_current_pm_goal : unit -> goal -val print_no_goal : unit -> string +type context_menu = (string * string) list -val process_exn : exn -> string*(Util.loc option) +val goals : unit -> ((string * context_menu) list * string * context_menu) list +val no_goal_message : unit -> string -val hyp_menu : hyp -> (string * string) list -val concl_menu : concl -> (string * string) list +val process_exn : exn -> string*(Util.loc option) val is_in_coq_lib : string -> bool val is_in_coq_path : string -> bool |