diff options
| author | filliatr | 2004-02-14 00:02:29 +0000 |
|---|---|---|
| committer | filliatr | 2004-02-14 00:02:29 +0000 |
| commit | 58f4403ab5eaef5903e1acd3fae3abb7efcb16fa (patch) | |
| tree | 501eae018ecba74d0f53699566e4ced3f1581f18 | |
| parent | cf7f9c5c71c2afcfac55391eab2f8059caa101fd (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5344 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |