diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-09 00:02:51 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-09 00:02:51 +0000 |
| commit | f4cba72840fc19af55f1fb8e57e11360d0514998 (patch) | |
| tree | 4688721b417aad24c8bded9580072d0155aab814 | |
| parent | 092c116f7b31a0ab9048502cd3afcd66a72541e8 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5079 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -525,9 +525,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 \ - ide/utils/editable_cells.cmo lib/util.cmi ide/preferences.cmi + lib/util.cmi ide/preferences.cmi ide/preferences.cmx: ide/config_lexer.cmx ide/utils/configwin.cmx \ - ide/utils/editable_cells.cmx lib/util.cmx ide/preferences.cmi + 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 \ |