diff options
author | 2003-01-10 02:02:23 +0000 | |
---|---|---|
committer | 2003-01-10 02:02:23 +0000 | |
commit | 35d65aeb0c449a4fc0fcfd9bec162649596b09b0 (patch) | |
tree | a4093ae891365a800d684413eca18861787a4a59 | |
parent | 24d8bd2814c9ef89d918ce81d5a0d30fe0662335 (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3495 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | .depend | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -694,14 +694,16 @@ library/declare.cmx: library/decl_kinds.cmx kernel/declarations.cmx \ lib/util.cmx library/declare.cmi library/declaremods.cmo: kernel/declarations.cmi kernel/entries.cmi \ kernel/environ.cmi library/global.cmi library/lib.cmi \ - library/libnames.cmi library/libobject.cmi kernel/modops.cmi \ - kernel/names.cmi library/nametab.cmi lib/pp.cmi library/summary.cmi \ - lib/util.cmi library/declaremods.cmi + library/libnames.cmi library/libobject.cmi kernel/mod_typing.cmi \ + kernel/modops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \ + kernel/subtyping.cmi library/summary.cmi lib/util.cmi \ + library/declaremods.cmi library/declaremods.cmx: kernel/declarations.cmx kernel/entries.cmx \ kernel/environ.cmx library/global.cmx library/lib.cmx \ - library/libnames.cmx library/libobject.cmx kernel/modops.cmx \ - kernel/names.cmx library/nametab.cmx lib/pp.cmx library/summary.cmx \ - lib/util.cmx library/declaremods.cmi + library/libnames.cmx library/libobject.cmx kernel/mod_typing.cmx \ + kernel/modops.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \ + kernel/subtyping.cmx library/summary.cmx lib/util.cmx \ + library/declaremods.cmi library/dischargedhypsmap.cmo: kernel/declarations.cmi kernel/environ.cmi \ kernel/inductive.cmi library/lib.cmi library/libnames.cmi \ library/libobject.cmi kernel/names.cmi library/nametab.cmi \ |