diff options
Diffstat (limited to '.depend.camlp4')
-rw-r--r-- | .depend.camlp4 | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/.depend.camlp4 b/.depend.camlp4 index 6b741f752..39e933dcf 100644 --- a/.depend.camlp4 +++ b/.depend.camlp4 @@ -1,4 +1,4 @@ -tactics/tauto.ml: parsing/grammar.cma kernel/names.cmo parsing/ast.cmo parsing/g_tactic.cmo parsing/g_ltac.cmo parsing/g_constr.cmo +tactics/tauto.ml: parsing/grammar.cma tactics/eqdecide.ml: parsing/grammar.cma tactics/extraargs.ml: parsing/grammar.cma tactics/extratactics.ml: parsing/grammar.cma @@ -10,26 +10,26 @@ contrib/omega/g_omega.ml: parsing/grammar.cma contrib/romega/g_romega.ml: parsing/grammar.cma contrib/ring/g_quote.ml: parsing/grammar.cma contrib/ring/g_ring.ml: parsing/grammar.cma -contrib/field/field.ml: parsing/grammar.cma kernel/names.cmo parsing/ast.cmo parsing/g_tactic.cmo parsing/g_ltac.cmo parsing/g_constr.cmo +contrib/field/field.ml: parsing/grammar.cma contrib/fourier/g_fourier.ml: parsing/grammar.cma contrib/extraction/g_extraction.ml: parsing/grammar.cma contrib/xml/xmlentries.ml: parsing/grammar.cma contrib/jprover/jprover.ml: parsing/grammar.cma -contrib/cc/cctac.ml: parsing/grammar.cma kernel/names.cmo parsing/ast.cmo parsing/g_tactic.cmo parsing/g_ltac.cmo parsing/g_constr.cmo +contrib/cc/cctac.ml: parsing/grammar.cma parsing/lexer.ml: parsing/q_util.ml: parsing/q_coqast.ml: parsing/g_prim.ml: parsing/pcoq.ml: -parsing/g_basevernac.ml: parsing/grammar.cma -parsing/g_minicoq.ml: parsing/grammar.cma -parsing/g_vernac.ml: parsing/grammar.cma -parsing/g_proofs.ml: parsing/grammar.cma -parsing/g_cases.ml: parsing/grammar.cma -parsing/g_constr.ml: parsing/grammar.cma -parsing/g_module.ml: parsing/grammar.cma -parsing/g_tactic.ml: parsing/grammar.cma -parsing/g_ltac.ml: parsing/grammar.cma +parsing/g_basevernac.ml: +parsing/g_minicoq.ml: +parsing/g_vernac.ml: +parsing/g_proofs.ml: +parsing/g_cases.ml: +parsing/g_constr.ml: +parsing/g_module.ml: +parsing/g_tactic.ml: +parsing/g_ltac.ml: parsing/argextend.ml: parsing/tacextend.ml: parsing/vernacextend.ml: |