aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>2004-07-08 23:02:16 +0000
committerGravatar filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>2004-07-08 23:02:16 +0000
commit669830ba8bc12f0bd30a92286760b75c4333b0a6 (patch)
tree66cc232c9e40a8a3bc649c9d119bd7778c2e9ee3
parente1d32b26956ca7bb5e568fd7e0b615d59df44e49 (diff)
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5878 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r--.depend12
1 files changed, 6 insertions, 6 deletions
diff --git a/.depend b/.depend
index 14337f680..1aff6ccb0 100644
--- a/.depend
+++ b/.depend
@@ -3180,9 +3180,9 @@ contrib/xml/cic2acic.cmo: contrib/xml/acic.cmo kernel/declarations.cmi \
kernel/inductive.cmi pretyping/inductiveops.cmi pretyping/instantiate.cmi \
library/lib.cmi library/libnames.cmi library/library.cmi \
library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \
- parsing/printer.cmi pretyping/reductionops.cmi pretyping/retyping.cmi \
- kernel/term.cmi pretyping/termops.cmi kernel/univ.cmi \
- contrib/xml/unshare.cmi lib/util.cmi
+ parsing/printer.cmi pretyping/reductionops.cmi kernel/term.cmi \
+ pretyping/termops.cmi kernel/univ.cmi contrib/xml/unshare.cmi \
+ lib/util.cmi
contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/declarations.cmx \
library/declare.cmx library/dischargedhypsmap.cmx \
contrib/xml/doubleTypeInference.cmx kernel/environ.cmx \
@@ -3190,9 +3190,9 @@ contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/declarations.cmx \
kernel/inductive.cmx pretyping/inductiveops.cmx pretyping/instantiate.cmx \
library/lib.cmx library/libnames.cmx library/library.cmx \
library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \
- parsing/printer.cmx pretyping/reductionops.cmx pretyping/retyping.cmx \
- kernel/term.cmx pretyping/termops.cmx kernel/univ.cmx \
- contrib/xml/unshare.cmx lib/util.cmx
+ parsing/printer.cmx pretyping/reductionops.cmx kernel/term.cmx \
+ pretyping/termops.cmx kernel/univ.cmx contrib/xml/unshare.cmx \
+ lib/util.cmx
contrib/xml/doubleTypeInference.cmo: contrib/xml/acic.cmo \
kernel/conv_oracle.cmi kernel/environ.cmi pretyping/evarutil.cmi \
pretyping/evd.cmi kernel/inductive.cmi pretyping/instantiate.cmi \