From 705a98f7f82594d87ef596cba2018a4eebd31228 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 31 Mar 2004 23:02:23 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index 97e9ee818e..d9197b8f23 100644
--- a/.depend
+++ b/.depend
@@ -3237,13 +3237,11 @@ contrib/xml/xmlcommand.cmx: contrib/xml/acic.cmx contrib/xml/acic2Xml.cmx \
     proofs/tacmach.cmx kernel/term.cmx contrib/xml/unshare.cmx lib/util.cmx \
     toplevel/vernac.cmx contrib/xml/xml.cmx contrib/xml/xmlcommand.cmi 
 contrib/xml/xmlentries.cmo: toplevel/cerrors.cmi parsing/egrammar.cmi \
-    parsing/extend.cmi interp/genarg.cmi library/nametab.cmi parsing/pcoq.cmi \
-    lib/pp.cmi lib/util.cmi toplevel/vernacinterp.cmi \
-    contrib/xml/xmlcommand.cmi 
+    parsing/extend.cmi interp/genarg.cmi parsing/pcoq.cmi lib/pp.cmi \
+    lib/util.cmi toplevel/vernacinterp.cmi contrib/xml/xmlcommand.cmi 
 contrib/xml/xmlentries.cmx: toplevel/cerrors.cmx parsing/egrammar.cmx \
-    parsing/extend.cmx interp/genarg.cmx library/nametab.cmx parsing/pcoq.cmx \
-    lib/pp.cmx lib/util.cmx toplevel/vernacinterp.cmx \
-    contrib/xml/xmlcommand.cmx 
+    parsing/extend.cmx interp/genarg.cmx parsing/pcoq.cmx lib/pp.cmx \
+    lib/util.cmx toplevel/vernacinterp.cmx contrib/xml/xmlcommand.cmx 
 ide/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \
     ide/utils/configwin_types.cmo ide/utils/configwin.cmi 
 ide/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \
-- 
cgit v1.2.3