From 8b2b6513803815bcee5f7a7edfbcb0c430c93957 Mon Sep 17 00:00:00 2001
From: vgross
Date: Mon, 22 Jun 2009 09:31:44 +0000
Subject: clearing unused functions

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12198 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.mli | 5 -----
 1 file changed, 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 * 
-- 
cgit v1.2.3