diff options
| author | filliatr | 2004-01-26 00:02:53 +0000 |
|---|---|---|
| committer | filliatr | 2004-01-26 00:02:53 +0000 |
| commit | 72fac5e104c619e48b5369ca21e5ad134c86ef54 (patch) | |
| tree | d0ef457de26fb2df75edd276ac692587bfa8e1ca | |
| parent | 4864e124cb59babd9b10ae7b2cb7b0979b4f0272 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5245 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -2961,15 +2961,15 @@ contrib/interface/vtp.cmx: contrib/interface/ascent.cmi \ contrib/interface/vtp.cmi contrib/interface/xlate.cmo: contrib/interface/ascent.cmi parsing/ast.cmi \ lib/bignat.cmi library/decl_kinds.cmo tactics/eauto.cmi \ - tactics/extraargs.cmi interp/genarg.cmi library/goptions.cmi \ - library/libnames.cmi toplevel/metasyntax.cmi kernel/names.cmi \ + parsing/extend.cmi tactics/extraargs.cmi interp/genarg.cmi \ + library/goptions.cmi library/libnames.cmi kernel/names.cmi \ lib/options.cmi parsing/ppconstr.cmi pretyping/rawterm.cmi \ proofs/tacexpr.cmo kernel/term.cmi interp/topconstr.cmi lib/util.cmi \ toplevel/vernacexpr.cmo contrib/interface/xlate.cmi contrib/interface/xlate.cmx: contrib/interface/ascent.cmi parsing/ast.cmx \ lib/bignat.cmx library/decl_kinds.cmx tactics/eauto.cmx \ - tactics/extraargs.cmx interp/genarg.cmx library/goptions.cmx \ - library/libnames.cmx toplevel/metasyntax.cmx kernel/names.cmx \ + parsing/extend.cmx tactics/extraargs.cmx interp/genarg.cmx \ + library/goptions.cmx library/libnames.cmx kernel/names.cmx \ lib/options.cmx parsing/ppconstr.cmx pretyping/rawterm.cmx \ proofs/tacexpr.cmx kernel/term.cmx interp/topconstr.cmx lib/util.cmx \ toplevel/vernacexpr.cmx contrib/interface/xlate.cmi |