From 253acc2a36fe99f01c1ca3f83067a6569fa91c63 Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 19 May 2005 22:32:03 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7043 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.depend b/.depend
index 664038ce93..5e677cadd0 100644
--- a/.depend
+++ b/.depend
@@ -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 \
-- 
cgit v1.2.3