diff options
| author |  coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-03-18 23:32:17 +0000 |
|---|---|---|
| committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-03-18 23:32:17 +0000 |
| commit | 8bb5acca5011a9b167235d965867c6272344372d (patch) | |
| tree | 28b6bd816d14b013d732f41791c280960fc74bee /.depend | |
| parent | 65f1600d6c405792bcb6831549622ce4afcd7621 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6855 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -2642,10 +2642,12 @@ contrib/correctness/pwp.cmx: lib/util.cmx pretyping/termops.cmx \ contrib/correctness/pwp.cmi contrib/dp/dp.cmo: lib/util.cmi kernel/term.cmi tactics/tacticals.cmi \ proofs/tacmach.cmi lib/pp.cmi kernel/names.cmi library/nameops.cmi \ - contrib/dp/fol.cmi interp/coqlib.cmi contrib/dp/dp.cmi + contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi interp/coqlib.cmi \ + contrib/dp/dp.cmi contrib/dp/dp.cmx: lib/util.cmx kernel/term.cmx tactics/tacticals.cmx \ proofs/tacmach.cmx lib/pp.cmx kernel/names.cmx library/nameops.cmx \ - contrib/dp/fol.cmi interp/coqlib.cmx contrib/dp/dp.cmi + contrib/dp/fol.cmi contrib/dp/dp_simplify.cmx interp/coqlib.cmx \ + contrib/dp/dp.cmi contrib/dp/dp_simplify.cmo: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi contrib/dp/dp_simplify.cmx: contrib/dp/fol.cmi contrib/dp/dp_simplify.cmi contrib/dp/g_dp.cmo: lib/util.cmi tactics/tacinterp.cmi proofs/tacexpr.cmo \ |