diff options
| author | filliatr | 2004-01-30 00:02:16 +0000 |
|---|---|---|
| committer | filliatr | 2004-01-30 00:02:16 +0000 |
| commit | 227e757b2e6f8cd2ef4965b8e605ad06862b7602 (patch) | |
| tree | fa485f3da6397dc70a945ca781ba79bbcaed7434 | |
| parent | a1909f814ef39023292100e7090ad9cc353e9505 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5271 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -2081,8 +2081,8 @@ toplevel/metasyntax.cmo: parsing/ast.cmi pretyping/classops.cmi \ library/library.cmi kernel/names.cmi library/nametab.cmi lib/options.cmi \ parsing/pcoq.cmi lib/pp.cmi interp/ppextend.cmi parsing/pptactic.cmi \ pretyping/rawterm.cmi library/summary.cmi interp/symbols.cmi \ - interp/syntax_def.cmi parsing/termast.cmi interp/topconstr.cmi \ - lib/util.cmi toplevel/vernacexpr.cmo toplevel/metasyntax.cmi + parsing/termast.cmi interp/topconstr.cmi lib/util.cmi \ + toplevel/vernacexpr.cmo toplevel/metasyntax.cmi toplevel/metasyntax.cmx: parsing/ast.cmx pretyping/classops.cmx \ interp/constrextern.cmx interp/constrintern.cmx parsing/coqast.cmx \ parsing/egrammar.cmx parsing/esyntax.cmx pretyping/evd.cmx \ @@ -2091,8 +2091,8 @@ toplevel/metasyntax.cmx: parsing/ast.cmx pretyping/classops.cmx \ library/library.cmx kernel/names.cmx library/nametab.cmx lib/options.cmx \ parsing/pcoq.cmx lib/pp.cmx interp/ppextend.cmx parsing/pptactic.cmx \ pretyping/rawterm.cmx library/summary.cmx interp/symbols.cmx \ - interp/syntax_def.cmx parsing/termast.cmx interp/topconstr.cmx \ - lib/util.cmx toplevel/vernacexpr.cmx toplevel/metasyntax.cmi + parsing/termast.cmx interp/topconstr.cmx lib/util.cmx \ + toplevel/vernacexpr.cmx toplevel/metasyntax.cmi toplevel/minicoq.cmo: kernel/declarations.cmi toplevel/fhimsg.cmi \ parsing/g_minicoq.cmi kernel/inductive.cmi kernel/names.cmi lib/pp.cmi \ kernel/safe_typing.cmi kernel/sign.cmi kernel/term.cmi \ |