diff options
author | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-24 17:30:33 +0000 |
---|---|---|
committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-24 17:30:33 +0000 |
commit | 41e0e7066c16078bc798d16a6d8d2eb66d10b59c (patch) | |
tree | cad295487e45cb0b5d48e967d45070a5d1689e28 /.depend | |
parent | 3396e2d3a3abe0a740302a6e87b529a1ebcbc08e (diff) |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@948 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -40,8 +40,7 @@ library/goptions.cmi: kernel/names.cmi lib/pp.cmi library/impargs.cmi: kernel/inductive.cmi kernel/names.cmi kernel/term.cmi library/indrec.cmi: kernel/declarations.cmi kernel/environ.cmi kernel/evd.cmi \ kernel/inductive.cmi kernel/names.cmi kernel/term.cmi -library/lib.cmi: library/libobject.cmi kernel/names.cmi library/nametab.cmi \ - library/summary.cmi +library/lib.cmi: library/libobject.cmi kernel/names.cmi library/summary.cmi library/libobject.cmi: kernel/names.cmi library/library.cmi: library/lib.cmi library/libobject.cmi kernel/names.cmi \ library/nametab.cmi lib/pp.cmi lib/system.cmi @@ -377,10 +376,10 @@ library/indrec.cmx: kernel/declarations.cmx kernel/environ.cmx \ kernel/names.cmx lib/pp.cmx kernel/reduction.cmx kernel/sign.cmx \ kernel/term.cmx kernel/type_errors.cmx kernel/typeops.cmx lib/util.cmx \ library/indrec.cmi -library/lib.cmo: library/libobject.cmi kernel/names.cmi library/nametab.cmi \ - library/summary.cmi kernel/univ.cmi lib/util.cmi library/lib.cmi -library/lib.cmx: library/libobject.cmx kernel/names.cmx library/nametab.cmx \ - library/summary.cmx kernel/univ.cmx lib/util.cmx library/lib.cmi +library/lib.cmo: library/libobject.cmi kernel/names.cmi library/summary.cmi \ + kernel/univ.cmi lib/util.cmi library/lib.cmi +library/lib.cmx: library/libobject.cmx kernel/names.cmx library/summary.cmx \ + kernel/univ.cmx lib/util.cmx library/lib.cmi library/libobject.cmo: lib/dyn.cmi kernel/names.cmi lib/util.cmi \ library/libobject.cmi library/libobject.cmx: lib/dyn.cmx kernel/names.cmx lib/util.cmx \ |