maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3998 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 8 insertions, 6 deletions

diff --git a/.depend b/.depend
index 99aeaf9315..eeb3134df0 100644
--- a/.depend
+++ b/.depend
@@ -2754,16 +2754,18 @@ contrib/field/field.cmx: toplevel/cerrors.cmx interp/constrintern.cmx \
 contrib/first-order/engine.cmo: tactics/auto.cmi toplevel/cerrors.cmi \
     parsing/egrammar.cmi parsing/extend.cmi contrib/first-order/formula.cmi \
     interp/genarg.cmi library/libnames.cmi parsing/pcoq.cmi lib/pp.cmi \
-    parsing/pptactic.cmi proofs/refiner.cmi contrib/first-order/rules.cmi \
-    contrib/first-order/sequent.cmi proofs/tacexpr.cmo tactics/tacinterp.cmi \
-    proofs/tacmach.cmi tactics/tacticals.cmi tactics/tactics.cmi \
+    parsing/pptactic.cmi proofs/proof_trees.cmi proofs/refiner.cmi \
+    contrib/first-order/rules.cmi contrib/first-order/sequent.cmi \
+    proofs/tacexpr.cmo tactics/tacinterp.cmi proofs/tacmach.cmi \
+    proofs/tactic_debug.cmi tactics/tacticals.cmi tactics/tactics.cmi \
     kernel/term.cmi lib/util.cmi 
 contrib/first-order/engine.cmx: tactics/auto.cmx toplevel/cerrors.cmx \
     parsing/egrammar.cmx parsing/extend.cmx contrib/first-order/formula.cmx \
     interp/genarg.cmx library/libnames.cmx parsing/pcoq.cmx lib/pp.cmx \
-    parsing/pptactic.cmx proofs/refiner.cmx contrib/first-order/rules.cmx \
-    contrib/first-order/sequent.cmx proofs/tacexpr.cmx tactics/tacinterp.cmx \
-    proofs/tacmach.cmx tactics/tacticals.cmx tactics/tactics.cmx \
+    parsing/pptactic.cmx proofs/proof_trees.cmx proofs/refiner.cmx \
+    contrib/first-order/rules.cmx contrib/first-order/sequent.cmx \
+    proofs/tacexpr.cmx tactics/tacinterp.cmx proofs/tacmach.cmx \
+    proofs/tactic_debug.cmx tactics/tacticals.cmx tactics/tactics.cmx \
     kernel/term.cmx lib/util.cmx 
 contrib/first-order/formula.cmo: interp/coqlib.cmi kernel/declarations.cmi \
     library/global.cmi tactics/hipattern.cmi pretyping/inductiveops.cmi \