From 1f6e007e8a11561bf7cc1157f076cb32ddb65a14 Mon Sep 17 00:00:00 2001 From: filliatr Date: Wed, 5 Nov 2003 00:02:35 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4796 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/.depend b/.depend index 426ec2332..ee6962b7e 100644 --- a/.depend +++ b/.depend @@ -1875,10 +1875,11 @@ tactics/tacinterp.cmo: parsing/ast.cmi tactics/auto.cmi kernel/closure.cmi \ pretyping/pretype_errors.cmi pretyping/pretyping.cmi parsing/printer.cmi \ proofs/proof_type.cmi pretyping/rawterm.cmi proofs/refiner.cmi \ pretyping/retyping.cmi kernel/safe_typing.cmi kernel/sign.cmi \ - library/summary.cmi proofs/tacexpr.cmo proofs/tacmach.cmi \ - pretyping/tacred.cmi proofs/tactic_debug.cmi tactics/tactics.cmi \ - kernel/term.cmi pretyping/termops.cmi interp/topconstr.cmi \ - pretyping/typing.cmi lib/util.cmi tactics/tacinterp.cmi + library/summary.cmi interp/syntax_def.cmi proofs/tacexpr.cmo \ + proofs/tacmach.cmi pretyping/tacred.cmi proofs/tactic_debug.cmi \ + tactics/tactics.cmi kernel/term.cmi pretyping/termops.cmi \ + interp/topconstr.cmi pretyping/typing.cmi lib/util.cmi \ + tactics/tacinterp.cmi tactics/tacinterp.cmx: parsing/ast.cmx tactics/auto.cmx kernel/closure.cmx \ interp/constrintern.cmx parsing/coqast.cmx library/decl_kinds.cmx \ kernel/declarations.cmx tactics/dhyp.cmx lib/dyn.cmx tactics/elim.cmx \ @@ -1891,10 +1892,11 @@ tactics/tacinterp.cmx: parsing/ast.cmx tactics/auto.cmx kernel/closure.cmx \ pretyping/pretype_errors.cmx pretyping/pretyping.cmx parsing/printer.cmx \ proofs/proof_type.cmx pretyping/rawterm.cmx proofs/refiner.cmx \ pretyping/retyping.cmx kernel/safe_typing.cmx kernel/sign.cmx \ - library/summary.cmx proofs/tacexpr.cmx proofs/tacmach.cmx \ - pretyping/tacred.cmx proofs/tactic_debug.cmx tactics/tactics.cmx \ - kernel/term.cmx pretyping/termops.cmx interp/topconstr.cmx \ - pretyping/typing.cmx lib/util.cmx tactics/tacinterp.cmi + library/summary.cmx interp/syntax_def.cmx proofs/tacexpr.cmx \ + proofs/tacmach.cmx pretyping/tacred.cmx proofs/tactic_debug.cmx \ + tactics/tactics.cmx kernel/term.cmx pretyping/termops.cmx \ + interp/topconstr.cmx pretyping/typing.cmx lib/util.cmx \ + tactics/tacinterp.cmi tactics/tacticals.cmo: proofs/clenv.cmi kernel/declarations.cmi \ kernel/environ.cmi proofs/evar_refiner.cmi library/global.cmi \ pretyping/indrec.cmi kernel/inductive.cmi library/libnames.cmi \ -- cgit v1.2.3