From 14713bc7e22d5357a179d1d8a5c128c36d05045b Mon Sep 17 00:00:00 2001 From: filliatr Date: Fri, 15 Oct 2004 23:02:18 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6223 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 56 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/.depend b/.depend index 25d5010ad..a35a9fe87 100644 --- a/.depend +++ b/.depend @@ -1893,34 +1893,34 @@ tactics/refine.cmx: kernel/environ.cmx pretyping/evarutil.cmx \ proofs/tacmach.cmx tactics/tacticals.cmx tactics/tactics.cmx \ kernel/term.cmx pretyping/termops.cmx pretyping/typing.cmx lib/util.cmx \ tactics/refine.cmi -tactics/setoid_replace.cmo: pretyping/clenv.cmi interp/constrintern.cmi \ - interp/coqlib.cmi library/decl_kinds.cmo library/declare.cmi \ - kernel/entries.cmi kernel/environ.cmi pretyping/evarutil.cmi \ - pretyping/evd.cmi library/global.cmi lib/gmap.cmi library/lib.cmi \ - library/libnames.cmi library/libobject.cmi library/nameops.cmi \ - kernel/names.cmi library/nametab.cmi lib/options.cmi proofs/pfedit.cmi \ - lib/pp.cmi translate/ppconstrnew.cmi pretyping/pretype_errors.cmi \ - parsing/printer.cmi proofs/proof_type.cmi pretyping/rawterm.cmi \ - kernel/reduction.cmi pretyping/reductionops.cmi kernel/safe_typing.cmi \ - kernel/sign.cmi library/summary.cmi proofs/tacmach.cmi \ - tactics/tacticals.cmi tactics/tactics.cmi kernel/term.cmi \ - pretyping/termops.cmi interp/topconstr.cmi pretyping/typing.cmi \ - pretyping/unification.cmi lib/util.cmi toplevel/vernacexpr.cmo \ - tactics/setoid_replace.cmi -tactics/setoid_replace.cmx: pretyping/clenv.cmx interp/constrintern.cmx \ - interp/coqlib.cmx library/decl_kinds.cmx library/declare.cmx \ - kernel/entries.cmx kernel/environ.cmx pretyping/evarutil.cmx \ - pretyping/evd.cmx library/global.cmx lib/gmap.cmx library/lib.cmx \ - library/libnames.cmx library/libobject.cmx library/nameops.cmx \ - kernel/names.cmx library/nametab.cmx lib/options.cmx proofs/pfedit.cmx \ - lib/pp.cmx translate/ppconstrnew.cmx pretyping/pretype_errors.cmx \ - parsing/printer.cmx proofs/proof_type.cmx pretyping/rawterm.cmx \ - kernel/reduction.cmx pretyping/reductionops.cmx kernel/safe_typing.cmx \ - kernel/sign.cmx library/summary.cmx proofs/tacmach.cmx \ - tactics/tacticals.cmx tactics/tactics.cmx kernel/term.cmx \ - pretyping/termops.cmx interp/topconstr.cmx pretyping/typing.cmx \ - pretyping/unification.cmx lib/util.cmx toplevel/vernacexpr.cmx \ - tactics/setoid_replace.cmi +tactics/setoid_replace.cmo: pretyping/clenv.cmi kernel/closure.cmi \ + interp/constrintern.cmi interp/coqlib.cmi library/decl_kinds.cmo \ + library/declare.cmi kernel/entries.cmi kernel/environ.cmi \ + pretyping/evarutil.cmi pretyping/evd.cmi library/global.cmi lib/gmap.cmi \ + library/lib.cmi library/libnames.cmi library/libobject.cmi \ + library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/options.cmi \ + proofs/pfedit.cmi lib/pp.cmi translate/ppconstrnew.cmi \ + pretyping/pretype_errors.cmi parsing/printer.cmi proofs/proof_type.cmi \ + pretyping/rawterm.cmi kernel/reduction.cmi pretyping/reductionops.cmi \ + kernel/safe_typing.cmi kernel/sign.cmi library/summary.cmi \ + proofs/tacmach.cmi pretyping/tacred.cmi tactics/tacticals.cmi \ + tactics/tactics.cmi kernel/term.cmi pretyping/termops.cmi \ + interp/topconstr.cmi pretyping/typing.cmi pretyping/unification.cmi \ + lib/util.cmi toplevel/vernacexpr.cmo tactics/setoid_replace.cmi +tactics/setoid_replace.cmx: pretyping/clenv.cmx kernel/closure.cmx \ + interp/constrintern.cmx interp/coqlib.cmx library/decl_kinds.cmx \ + library/declare.cmx kernel/entries.cmx kernel/environ.cmx \ + pretyping/evarutil.cmx pretyping/evd.cmx library/global.cmx lib/gmap.cmx \ + library/lib.cmx library/libnames.cmx library/libobject.cmx \ + library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/options.cmx \ + proofs/pfedit.cmx lib/pp.cmx translate/ppconstrnew.cmx \ + pretyping/pretype_errors.cmx parsing/printer.cmx proofs/proof_type.cmx \ + pretyping/rawterm.cmx kernel/reduction.cmx pretyping/reductionops.cmx \ + kernel/safe_typing.cmx kernel/sign.cmx library/summary.cmx \ + proofs/tacmach.cmx pretyping/tacred.cmx tactics/tacticals.cmx \ + tactics/tactics.cmx kernel/term.cmx pretyping/termops.cmx \ + interp/topconstr.cmx pretyping/typing.cmx pretyping/unification.cmx \ + lib/util.cmx toplevel/vernacexpr.cmx tactics/setoid_replace.cmi tactics/tacinterp.cmo: parsing/ast.cmi tactics/auto.cmi kernel/closure.cmi \ interp/constrintern.cmi parsing/coqast.cmi library/decl_kinds.cmo \ kernel/declarations.cmi tactics/dhyp.cmi lib/dyn.cmi tactics/elim.cmi \ -- cgit v1.2.3