diff options
author | 2003-05-22 17:47:57 +0000 | |
---|---|---|
committer | 2003-05-22 17:47:57 +0000 | |
commit | 345c8b73628e45ab367e605b376b2040ad181bd3 (patch) | |
tree | 9a23f9d9cbe8d6dbda4d099babfe4802b5b7b7d5 /.depend | |
parent | 231c7db3583403ec99cbe5328281def1e367b662 (diff) |
coqide: blaster V1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4059 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 30 |
1 files changed, 16 insertions, 14 deletions
@@ -476,6 +476,8 @@ dev/top_printers.cmx: parsing/ast.cmx toplevel/cerrors.cmx proofs/clenv.cmx \ kernel/term.cmx pretyping/termops.cmx kernel/univ.cmx doc/parse.cmo: parsing/ast.cmi doc/parse.cmx: parsing/ast.cmx +ide/blaster_window.cmo: ide/coq.cmi +ide/blaster_window.cmx: ide/coq.cmx ide/command_windows.cmo: ide/coq.cmi ide/coq_commands.cmo ide/ideutils.cmi \ ide/command_windows.cmi ide/command_windows.cmx: ide/coq.cmx ide/coq_commands.cmx ide/ideutils.cmx \ @@ -491,9 +493,9 @@ ide/coq.cmo: toplevel/cerrors.cmi config/coq_config.cmi toplevel/coqtop.cmi \ library/nametab.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 tactics/tactics.cmi kernel/term.cmi lib/util.cmi \ - toplevel/vernac.cmi toplevel/vernacentries.cmi toplevel/vernacexpr.cmo \ - ide/coq.cmi + tactics/tacinterp.cmi proofs/tacmach.cmi tactics/tactics.cmi \ + kernel/term.cmi lib/util.cmi toplevel/vernac.cmi \ + toplevel/vernacentries.cmi toplevel/vernacexpr.cmo ide/coq.cmi ide/coq.cmx: toplevel/cerrors.cmx config/coq_config.cmx toplevel/coqtop.cmx \ kernel/declarations.cmx kernel/environ.cmx pretyping/evarutil.cmx \ pretyping/evd.cmx library/global.cmx tactics/hipattern.cmx \ @@ -501,19 +503,19 @@ ide/coq.cmx: toplevel/cerrors.cmx config/coq_config.cmx toplevel/coqtop.cmx \ library/nametab.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 tactics/tactics.cmx kernel/term.cmx lib/util.cmx \ - toplevel/vernac.cmx toplevel/vernacentries.cmx toplevel/vernacexpr.cmx \ - ide/coq.cmi + tactics/tacinterp.cmx proofs/tacmach.cmx tactics/tactics.cmx \ + kernel/term.cmx lib/util.cmx toplevel/vernac.cmx \ + toplevel/vernacentries.cmx toplevel/vernacexpr.cmx ide/coq.cmi ide/coq_tactics.cmo: ide/coq_tactics.cmi ide/coq_tactics.cmx: ide/coq_tactics.cmi -ide/coqide.cmo: ide/command_windows.cmi ide/coq.cmi ide/coq_commands.cmo \ - ide/find_phrase.cmo ide/highlight.cmo ide/ideutils.cmi proofs/pfedit.cmi \ - ide/preferences.cmi ide/undo.cmi lib/util.cmi toplevel/vernacexpr.cmo \ - ide/coqide.cmi -ide/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/coqide.cmi +ide/coqide.cmo: ide/blaster_window.cmo ide/command_windows.cmi ide/coq.cmi \ + ide/coq_commands.cmo ide/find_phrase.cmo ide/highlight.cmo \ + ide/ideutils.cmi proofs/pfedit.cmi ide/preferences.cmi ide/undo.cmi \ + lib/util.cmi toplevel/vernacexpr.cmo ide/coqide.cmi +ide/coqide.cmx: ide/blaster_window.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/coqide.cmi ide/find_phrase.cmo: ide/ideutils.cmi ide/find_phrase.cmx: ide/ideutils.cmx ide/highlight.cmo: ide/ideutils.cmi |