From 3cb4411089c18351d57685f9abe455d3f61f308f Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 2 Dec 2009 08:36:14 +0000
Subject: Remove interface plugin

It has moved to the contribs (Sophia-Antipolis/Interface).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12555 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/interface/dad.mli | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 plugins/interface/dad.mli

(limited to 'plugins/interface/dad.mli')

diff --git a/plugins/interface/dad.mli b/plugins/interface/dad.mli
deleted file mode 100644
index f556c19267..0000000000
--- a/plugins/interface/dad.mli
+++ /dev/null
@@ -1,10 +0,0 @@
-open Proof_type;;
-open Tacmach;;
-open Topconstr;;
-
-val dad_rule_names : unit -> string list;;
-val start_dad : unit -> unit;;
-val dad_tac : (Tacexpr.raw_tactic_expr -> 'a) -> int list -> int list -> goal sigma ->
-                  goal list sigma * validation;;
-val add_dad_rule : string -> constr_expr -> (int list) -> (int list) ->
-                   int -> (int list) -> Tacexpr.raw_atomic_tactic_expr -> unit;;
-- 
cgit v1.2.3