diff options
| author | filliatr | 2003-03-29 02:02:13 +0000 |
|---|---|---|
| committer | filliatr | 2003-03-29 02:02:13 +0000 |
| commit | 5193d92186e14794a346392af4d80fc264d8fff7 (patch) | |
| tree | f99e512b517315be5b27c4f93ea516c56352a4ec | |
| parent | b153f62b7f6b713deba8e662832edfb6a5d6ce3e (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3805 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1781,8 +1781,8 @@ tactics/newtauto.cmo: parsing/ast.cmi toplevel/cerrors.cmi parsing/coqast.cmi \ parsing/printer.cmi proofs/proof_type.cmi pretyping/rawterm.cmi \ pretyping/reductionops.cmi proofs/refiner.cmi kernel/sign.cmi \ proofs/tacexpr.cmo tactics/tacinterp.cmi proofs/tacmach.cmi \ - tactics/tacticals.cmi tactics/tactics.cmi kernel/term.cmi \ - pretyping/termops.cmi interp/topconstr.cmi lib/util.cmi + tactics/tacticals.cmi tactics/tactics.cmi tactics/tauto.cmo \ + kernel/term.cmi pretyping/termops.cmi interp/topconstr.cmi lib/util.cmi tactics/newtauto.cmx: parsing/ast.cmx toplevel/cerrors.cmx parsing/coqast.cmx \ kernel/declarations.cmx parsing/egrammar.cmx kernel/environ.cmx \ pretyping/evd.cmx interp/genarg.cmx library/global.cmx \ @@ -1791,8 +1791,8 @@ tactics/newtauto.cmx: parsing/ast.cmx toplevel/cerrors.cmx parsing/coqast.cmx \ parsing/printer.cmx proofs/proof_type.cmx pretyping/rawterm.cmx \ pretyping/reductionops.cmx proofs/refiner.cmx kernel/sign.cmx \ proofs/tacexpr.cmx tactics/tacinterp.cmx proofs/tacmach.cmx \ - tactics/tacticals.cmx tactics/tactics.cmx kernel/term.cmx \ - pretyping/termops.cmx interp/topconstr.cmx lib/util.cmx + tactics/tacticals.cmx tactics/tactics.cmx tactics/tauto.cmx \ + kernel/term.cmx pretyping/termops.cmx interp/topconstr.cmx lib/util.cmx tactics/refine.cmo: proofs/clenv.cmi kernel/environ.cmi pretyping/evd.cmi \ kernel/names.cmi lib/pp.cmi parsing/printer.cmi kernel/reduction.cmi \ pretyping/retyping.cmi kernel/sign.cmi proofs/tacmach.cmi \ |