tactics/tauto.ml: parsing/grammar.cma kernel/names.cmo parsing/ast.cmo parsing/g_tactic.cmo parsing/g_constr.cmo
parsing/lexer.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_tactic.ml: parsing/grammar.cma
parsing/extend.ml: parsing/grammar.cma
toplevel/mltop.ml: