From 58f4403ab5eaef5903e1acd3fae3abb7efcb16fa Mon Sep 17 00:00:00 2001 From: filliatr Date: Sat, 14 Feb 2004 00:02:29 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5344 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.depend b/.depend index 900d1953b8..33c05afa32 100644 --- a/.depend +++ b/.depend @@ -2874,17 +2874,17 @@ contrib/interface/name_to_ast.cmx: parsing/ast.cmx pretyping/classops.cmx \ contrib/interface/parse.cmo: contrib/interface/ascent.cmi \ toplevel/cerrors.cmi config/coq_config.cmi library/declaremods.cmi \ parsing/esyntax.cmi library/libnames.cmi library/libobject.cmi \ - library/library.cmi contrib/interface/line_parser.cmi library/nameops.cmi \ - kernel/names.cmi library/nametab.cmi parsing/pcoq.cmi lib/pp.cmi \ - lib/system.cmi lib/util.cmi toplevel/vernacentries.cmi \ + library/library.cmi contrib/interface/line_parser.cmi toplevel/mltop.cmi \ + library/nameops.cmi kernel/names.cmi library/nametab.cmi parsing/pcoq.cmi \ + lib/pp.cmi lib/system.cmi lib/util.cmi toplevel/vernacentries.cmi \ toplevel/vernacexpr.cmo contrib/interface/vtp.cmi \ contrib/interface/xlate.cmi contrib/interface/parse.cmx: contrib/interface/ascent.cmi \ toplevel/cerrors.cmx config/coq_config.cmx library/declaremods.cmx \ parsing/esyntax.cmx library/libnames.cmx library/libobject.cmx \ - library/library.cmx contrib/interface/line_parser.cmx library/nameops.cmx \ - kernel/names.cmx library/nametab.cmx parsing/pcoq.cmx lib/pp.cmx \ - lib/system.cmx lib/util.cmx toplevel/vernacentries.cmx \ + library/library.cmx contrib/interface/line_parser.cmx toplevel/mltop.cmx \ + library/nameops.cmx kernel/names.cmx library/nametab.cmx parsing/pcoq.cmx \ + lib/pp.cmx lib/system.cmx lib/util.cmx toplevel/vernacentries.cmx \ toplevel/vernacexpr.cmx contrib/interface/vtp.cmx \ contrib/interface/xlate.cmx contrib/interface/paths.cmo: contrib/interface/paths.cmi -- cgit v1.2.3