diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-06 15:02:00 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-06 15:02:00 +0000 |
| commit | 9c662cf9e8f4065ab354dc9c55c3e819f0db1fbe (patch) | |
| tree | b48820b8f0dea11a1156305c49a1f51e0f8effdc /.depend | |
| parent | 17ca87d5de9a232fc056c1bac85134094b03cd21 (diff) | |
mise en place extraction
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1339 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -199,6 +199,9 @@ toplevel/vernacentries.cmi: kernel/names.cmi kernel/term.cmi \ toplevel/vernacinterp.cmi toplevel/vernacinterp.cmi: parsing/coqast.cmi lib/dyn.cmi kernel/names.cmi \ proofs/proof_type.cmi +contrib/extraction/extraction.cmi: contrib/extraction/miniml.cmi \ + kernel/names.cmi +contrib/extraction/miniml.cmi: kernel/names.cmi contrib/xml/xmlcommand.cmi: kernel/names.cmi config/coq_config.cmo: config/coq_config.cmi config/coq_config.cmx: config/coq_config.cmi @@ -1204,6 +1207,10 @@ toplevel/vernacinterp.cmx: parsing/ast.cmx parsing/astterm.cmx \ kernel/names.cmx library/nametab.cmx lib/options.cmx lib/pp.cmx \ pretyping/pretype_errors.cmx proofs/proof_type.cmx proofs/tacinterp.cmx \ lib/util.cmx toplevel/vernacinterp.cmi +contrib/extraction/extraction.cmo: contrib/extraction/miniml.cmi \ + kernel/names.cmi kernel/term.cmi contrib/extraction/extraction.cmi +contrib/extraction/extraction.cmx: contrib/extraction/miniml.cmi \ + kernel/names.cmx kernel/term.cmx contrib/extraction/extraction.cmi contrib/omega/coq_omega.cmo: parsing/ast.cmi proofs/clenv.cmi \ kernel/closure.cmi library/declare.cmi kernel/environ.cmi \ tactics/equality.cmi kernel/evd.cmi library/global.cmi \ |