diff options
author | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-19 22:32:03 +0000 |
---|---|---|
committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-19 22:32:03 +0000 |
commit | 253acc2a36fe99f01c1ca3f83067a6569fa91c63 (patch) | |
tree | 4bc15e715df1be4ab5dd382e72077818374d6ee9 /.depend | |
parent | 5d447cc5143b0ec735246c3d809947bfb46e7bad (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7043 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -543,14 +543,14 @@ 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: ide/utf8_convert.cmo ide/preferences.cmi lib/pp_control.cmi \ - lib/options.cmi config/coq_config.cmi ide/ideutils.cmi -ide/ideutils.cmx: ide/utf8_convert.cmx ide/preferences.cmx lib/pp_control.cmx \ - lib/options.cmx config/coq_config.cmx ide/ideutils.cmi -ide/preferences.cmo: lib/util.cmi lib/system.cmi ide/utils/configwin.cmi \ - ide/config_lexer.cmo ide/preferences.cmi -ide/preferences.cmx: lib/util.cmx lib/system.cmx ide/utils/configwin.cmx \ - ide/config_lexer.cmx ide/preferences.cmi +ide/ideutils.cmo: ide/utf8_convert.cmo lib/system.cmi ide/preferences.cmi \ + lib/pp_control.cmi lib/options.cmi config/coq_config.cmi ide/ideutils.cmi +ide/ideutils.cmx: ide/utf8_convert.cmx lib/system.cmx ide/preferences.cmx \ + lib/pp_control.cmx lib/options.cmx config/coq_config.cmx ide/ideutils.cmi +ide/preferences.cmo: lib/util.cmi lib/system.cmi lib/options.cmi \ + ide/utils/configwin.cmi ide/config_lexer.cmo ide/preferences.cmi +ide/preferences.cmx: lib/util.cmx lib/system.cmx lib/options.cmx \ + ide/utils/configwin.cmx ide/config_lexer.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/util.cmi kernel/univ.cmi interp/topconstr.cmi \ |