diff options
author | 2004-02-05 00:02:16 +0000 | |
---|---|---|
committer | 2004-02-05 00:02:16 +0000 | |
commit | 822dc3c2ac7efb038e0f8729cc315b5253db8deb (patch) | |
tree | efd8d1ef40f15e8b5e9edbaf1f80e085fb71b14d | |
parent | 814175d40df87811f312eae555663be655fd1c00 (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5296 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | .depend | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -489,12 +489,12 @@ ide/coq_tactics.cmo: ide/coq_tactics.cmi ide/coq_tactics.cmx: ide/coq_tactics.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/ideutils.cmi proofs/pfedit.cmi ide/preferences.cmi lib/system.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/ideutils.cmx proofs/pfedit.cmx ide/preferences.cmx lib/system.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 @@ -504,9 +504,9 @@ ide/ideutils.cmo: config/coq_config.cmi lib/options.cmi lib/pp_control.cmi \ ide/ideutils.cmx: config/coq_config.cmx lib/options.cmx lib/pp_control.cmx \ ide/preferences.cmx ide/utf8_convert.cmx ide/ideutils.cmi ide/preferences.cmo: ide/config_lexer.cmo ide/utils/configwin.cmi \ - lib/util.cmi ide/preferences.cmi + lib/system.cmi lib/util.cmi ide/preferences.cmi ide/preferences.cmx: ide/config_lexer.cmx ide/utils/configwin.cmx \ - lib/util.cmx ide/preferences.cmi + lib/system.cmx lib/util.cmx ide/preferences.cmi ide/undo.cmo: ide/ideutils.cmi ide/undo.cmi ide/undo.cmx: ide/ideutils.cmx ide/undo.cmi interp/constrextern.cmo: lib/bignat.cmi pretyping/classops.cmi \ |