diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 7ee95a4004..df369cc18d 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -48,11 +48,6 @@ val interp_last : Util.loc * Vernacexpr.vernac_expr -> unit val interp_and_replace : string -> (reset_info * (Util.loc * Vernacexpr.vernac_expr)) * string -val is_vernac_tactic_command : Vernacexpr.vernac_expr -> bool -val is_vernac_state_preserving_command : Vernacexpr.vernac_expr -> bool -val is_vernac_goal_starting_command : Vernacexpr.vernac_expr -> bool -val is_vernac_proof_ending_command : Vernacexpr.vernac_expr -> bool - (* type hyp = (identifier * constr option * constr) * string *) type hyp = env * evar_map * |