diff options
| author | filliatr | 2003-03-05 02:02:24 +0000 |
|---|---|---|
| committer | filliatr | 2003-03-05 02:02:24 +0000 |
| commit | e6c6fd55e777ea7a9c7c85399138deab40284f28 (patch) | |
| tree | 96a17141779c89bb5bd4c443a0bea5d0a7b98917 | |
| parent | a1e77c883d9c79cfdef6eccbeea7d5aec11e9b6b (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3740 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -480,8 +480,8 @@ ide/find_phrase.cmo: ide/ideutils.cmo ide/find_phrase.cmx: ide/ideutils.cmx ide/highlight.cmo: ide/ideutils.cmo ide/highlight.cmx: ide/ideutils.cmx -ide/ideutils.cmo: config/coq_config.cmi ide/preferences.cmo -ide/ideutils.cmx: config/coq_config.cmx ide/preferences.cmx +ide/ideutils.cmo: config/coq_config.cmi lib/options.cmi ide/preferences.cmo +ide/ideutils.cmx: config/coq_config.cmx lib/options.cmx ide/preferences.cmx ide/preferences.cmo: ide/config_lexer.cmo ide/utils/configwin.cmi ide/preferences.cmx: ide/config_lexer.cmx ide/utils/configwin.cmx interp/constrextern.cmo: pretyping/classops.cmi library/declare.cmi \ |