diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-15 01:02:47 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-15 01:02:47 +0000 |
| commit | ddd9639137aa14e4ebffca63df7970ba4f7744ba (patch) | |
| tree | 3319ab524473fd6acdf36c529b2626a7af51f6cb /.depend | |
| parent | a020f056c15a274385183d22af2132f430868b2b (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4023 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -505,20 +505,20 @@ 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 ide/utf8_convert.cmo lib/util.cmi \ - toplevel/vernacexpr.cmo ide/coqide.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 ide/utf8_convert.cmx lib/util.cmx \ - toplevel/vernacexpr.cmx ide/coqide.cmi + 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 ide/highlight.cmx: ide/ideutils.cmx ide/ideutils.cmo: config/coq_config.cmi lib/options.cmi lib/pp_control.cmi \ - ide/preferences.cmi ide/ideutils.cmi + ide/preferences.cmi ide/utf8_convert.cmo ide/ideutils.cmi ide/ideutils.cmx: config/coq_config.cmx lib/options.cmx lib/pp_control.cmx \ - ide/preferences.cmx ide/ideutils.cmi + ide/preferences.cmx ide/utf8_convert.cmx ide/ideutils.cmi ide/preferences.cmo: ide/config_lexer.cmo ide/utils/configwin.cmi \ ide/utils/editable_cells.cmo lib/util.cmi ide/preferences.cmi ide/preferences.cmx: ide/config_lexer.cmx ide/utils/configwin.cmx \ |