diff options
| -rw-r--r-- | .depend | 63 |
1 files changed, 0 insertions, 63 deletions
@@ -1,5 +1,3 @@ -ide.good/coq.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \ - kernel/term.cmi lib/util.cmi toplevel/vernacexpr.cmo ide/coq.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \ kernel/term.cmi lib/util.cmi toplevel/vernacexpr.cmo interp/constrextern.cmi: kernel/environ.cmi library/libnames.cmi \ @@ -436,7 +434,6 @@ contrib/linear/unif.cmi: contrib/linear/dpctypes.cmi \ contrib/xml/doubleTypeInference.cmi: contrib/xml/acic.cmo kernel/environ.cmi \ pretyping/evd.cmi kernel/term.cmi contrib/xml/xmlcommand.cmi: library/libnames.cmi -ide.good/utils/configwin.cmi: ide/utils/uoptions.cmi ide/utils/configwin.cmi: ide/utils/uoptions.cmi config/coq_config.cmo: config/coq_config.cmi config/coq_config.cmx: config/coq_config.cmi @@ -458,44 +455,6 @@ dev/top_printers.cmx: parsing/ast.cmx toplevel/cerrors.cmx proofs/clenv.cmx \ pretyping/termops.cmx kernel/univ.cmx doc/parse.cmo: parsing/ast.cmi doc/parse.cmx: parsing/ast.cmx -ide.good/command_windows.cmo: ide/coq.cmi ide/coq_commands.cmo \ - ide/ideutils.cmo -ide.good/command_windows.cmx: ide/coq.cmx ide/coq_commands.cmx \ - ide/ideutils.cmx -ide.good/coq.cmo: toplevel/cerrors.cmi config/coq_config.cmi \ - toplevel/coqtop.cmi kernel/environ.cmi pretyping/evarutil.cmi \ - pretyping/evd.cmi tactics/hipattern.cmi ide/ideutils.cmo library/lib.cmi \ - kernel/names.cmi lib/options.cmi parsing/pcoq.cmi proofs/pfedit.cmi \ - lib/pp.cmi parsing/printer.cmi proofs/proof_trees.cmi \ - pretyping/reductionops.cmi proofs/refiner.cmi library/states.cmi \ - proofs/tacmach.cmi kernel/term.cmi lib/util.cmi toplevel/vernac.cmi \ - toplevel/vernacentries.cmi toplevel/vernacexpr.cmo ide.good/coq.cmi -ide.good/coq.cmx: toplevel/cerrors.cmx config/coq_config.cmx \ - toplevel/coqtop.cmx kernel/environ.cmx pretyping/evarutil.cmx \ - pretyping/evd.cmx tactics/hipattern.cmx ide/ideutils.cmx library/lib.cmx \ - kernel/names.cmx lib/options.cmx parsing/pcoq.cmx proofs/pfedit.cmx \ - lib/pp.cmx parsing/printer.cmx proofs/proof_trees.cmx \ - pretyping/reductionops.cmx proofs/refiner.cmx library/states.cmx \ - proofs/tacmach.cmx kernel/term.cmx lib/util.cmx toplevel/vernac.cmx \ - toplevel/vernacentries.cmx toplevel/vernacexpr.cmx ide.good/coq.cmi -ide.good/coqide.cmo: ide/command_windows.cmo ide/coq.cmi ide/coq_commands.cmo \ - ide/find_phrase.cmo ide/highlight.cmo ide/ideutils.cmo proofs/pfedit.cmi \ - ide/preferences.cmo ide/undo.cmi lib/util.cmi toplevel/vernacexpr.cmo -ide.good/coqide.cmx: ide/command_windows.cmx ide/coq.cmx ide/coq_commands.cmx \ - ide/find_phrase.cmx ide/highlight.cmx ide/ideutils.cmx proofs/pfedit.cmx \ - ide/preferences.cmx ide/undo.cmx lib/util.cmx toplevel/vernacexpr.cmx -ide.good/find_phrase.cmo: ide/ideutils.cmo -ide.good/find_phrase.cmx: ide/ideutils.cmx -ide.good/highlight.cmo: ide/ideutils.cmo -ide.good/highlight.cmx: ide/ideutils.cmx -ide.good/ideutils.cmo: config/coq_config.cmi lib/options.cmi \ - lib/pp_control.cmi ide/preferences.cmo -ide.good/ideutils.cmx: config/coq_config.cmx lib/options.cmx \ - lib/pp_control.cmx ide/preferences.cmx -ide.good/preferences.cmo: ide/utils/configwin.cmi -ide.good/preferences.cmx: ide/utils/configwin.cmx -ide.good/undo.cmo: ide/ideutils.cmo ide.good/undo.cmi -ide.good/undo.cmx: ide/ideutils.cmx ide.good/undo.cmi ide/command_windows.cmo: ide/coq.cmi ide/coq_commands.cmo ide/ideutils.cmo ide/command_windows.cmx: ide/coq.cmx ide/coq_commands.cmx ide/ideutils.cmx ide/coq.cmo: toplevel/cerrors.cmi config/coq_config.cmi toplevel/coqtop.cmi \ @@ -3270,28 +3229,6 @@ contrib/xml/xmlentries.cmx: toplevel/cerrors.cmx parsing/egrammar.cmx \ parsing/extend.cmx interp/genarg.cmx parsing/pcoq.cmx lib/pp.cmx \ parsing/pptactic.cmx tactics/tacinterp.cmx lib/util.cmx \ toplevel/vernacinterp.cmx contrib/xml/xmlcommand.cmx -ide.good/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \ - ide/utils/configwin_types.cmo ide.good/utils/configwin.cmi -ide.good/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \ - ide/utils/configwin_types.cmx ide.good/utils/configwin.cmi -ide.good/utils/configwin_html_config.cmo: ide/utils/configwin_ihm.cmo \ - ide/utils/configwin_messages.cmo ide/utils/configwin_types.cmo \ - ide/utils/uoptions.cmi -ide.good/utils/configwin_html_config.cmx: ide/utils/configwin_ihm.cmx \ - ide/utils/configwin_messages.cmx ide/utils/configwin_types.cmx \ - ide/utils/uoptions.cmx -ide.good/utils/configwin_ihm.cmo: ide/utils/configwin_messages.cmo \ - ide/utils/configwin_types.cmo ide/utils/okey.cmi ide/utils/uoptions.cmi -ide.good/utils/configwin_ihm.cmx: ide/utils/configwin_messages.cmx \ - ide/utils/configwin_types.cmx ide/utils/okey.cmx ide/utils/uoptions.cmx -ide.good/utils/configwin_types.cmo: ide/utils/configwin_keys.cmo \ - ide/utils/uoptions.cmi -ide.good/utils/configwin_types.cmx: ide/utils/configwin_keys.cmx \ - ide/utils/uoptions.cmx -ide.good/utils/okey.cmo: ide.good/utils/okey.cmi -ide.good/utils/okey.cmx: ide.good/utils/okey.cmi -ide.good/utils/uoptions.cmo: ide.good/utils/uoptions.cmi -ide.good/utils/uoptions.cmx: ide.good/utils/uoptions.cmi ide/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \ ide/utils/configwin_types.cmo ide/utils/configwin.cmi ide/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \ |