diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-20 23:02:46 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-20 23:02:46 +0000 |
| commit | 05ac4436c1d689aced1cbfe7a4949db77d8a3fc2 (patch) | |
| tree | 1477612f6f9b08ac770e0c7f3ff6375c043b2b52 /.depend | |
| parent | 1cda396cb2c92dc0078d74e581a76cdd62b0ee8a (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4679 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -239,7 +239,7 @@ tactics/autorewrite.cmi: proofs/tacexpr.cmo proofs/tacmach.cmi \ kernel/term.cmi tactics/btermdn.cmi: pretyping/pattern.cmi kernel/term.cmi tactics/contradiction.cmi: kernel/names.cmi proofs/proof_type.cmi \ - kernel/term.cmi + pretyping/rawterm.cmi kernel/term.cmi tactics/dhyp.cmi: kernel/names.cmi proofs/tacexpr.cmo proofs/tacmach.cmi \ interp/topconstr.cmi toplevel/vernacexpr.cmo tactics/eauto.cmi: proofs/proof_type.cmi proofs/tacexpr.cmo kernel/term.cmi @@ -1637,13 +1637,13 @@ tactics/btermdn.cmo: tactics/dn.cmi pretyping/pattern.cmi kernel/term.cmi \ tactics/btermdn.cmx: tactics/dn.cmx pretyping/pattern.cmx kernel/term.cmx \ tactics/termdn.cmx tactics/btermdn.cmi tactics/contradiction.cmo: interp/coqlib.cmi tactics/hipattern.cmi \ - proofs/proof_type.cmi proofs/tacmach.cmi tactics/tacticals.cmi \ - tactics/tactics.cmi kernel/term.cmi lib/util.cmi \ - tactics/contradiction.cmi + proofs/proof_type.cmi pretyping/rawterm.cmi pretyping/reductionops.cmi \ + proofs/tacmach.cmi tactics/tacticals.cmi tactics/tactics.cmi \ + kernel/term.cmi lib/util.cmi tactics/contradiction.cmi tactics/contradiction.cmx: interp/coqlib.cmx tactics/hipattern.cmx \ - proofs/proof_type.cmx proofs/tacmach.cmx tactics/tacticals.cmx \ - tactics/tactics.cmx kernel/term.cmx lib/util.cmx \ - tactics/contradiction.cmi + proofs/proof_type.cmx pretyping/rawterm.cmx pretyping/reductionops.cmx \ + proofs/tacmach.cmx tactics/tacticals.cmx tactics/tactics.cmx \ + kernel/term.cmx lib/util.cmx tactics/contradiction.cmi tactics/dhyp.cmo: parsing/ast.cmi proofs/clenv.cmi interp/constrintern.cmi \ kernel/environ.cmi pretyping/evd.cmi library/global.cmi library/lib.cmi \ library/libnames.cmi library/libobject.cmi library/library.cmi \ |