diff options
| author | vgross | 2009-06-22 09:31:44 +0000 |
|---|---|---|
| committer | vgross | 2009-06-22 09:31:44 +0000 |
| commit | 8b2b6513803815bcee5f7a7edfbcb0c430c93957 (patch) | |
| tree | e111aa42f6c814b46e84a20ed33cfc6b380064d5 | |
| parent | 0bb73a5c4b5264ed3c8a7243a818368083602e25 (diff) | |
clearing unused functions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12198 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 * |