diff options
Diffstat (limited to '.depend.camlp4')
| -rw-r--r-- | .depend.camlp4 | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/.depend.camlp4 b/.depend.camlp4 new file mode 100644 index 00000000..a34765fc --- /dev/null +++ b/.depend.camlp4 @@ -0,0 +1,51 @@ +tactics/tauto.ml: parsing/grammar.cma +tactics/eqdecide.ml: parsing/grammar.cma +tactics/extraargs.ml: parsing/grammar.cma +tactics/extratactics.ml: parsing/grammar.cma +tactics/eauto.ml: parsing/grammar.cma +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 +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 +contrib/funind/tacinv.ml: parsing/grammar.cma +contrib/first-order/g_ground.ml: parsing/grammar.cma +contrib/interface/debug_tac.ml: parsing/grammar.cma +contrib/interface/centaur.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/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: +parsing/g_primnew.ml: +parsing/g_vernacnew.ml: +parsing/g_proofsnew.ml: +parsing/g_constrnew.ml: +parsing/g_tacticnew.ml: +parsing/g_ltacnew.ml: +toplevel/mltop.ml: +lib/pp.ml: +lib/compat.ml: +contrib/xml/xml.ml: +contrib/xml/acic2Xml.ml: +contrib/xml/proofTree2Xml.ml: +contrib/interface/line_parser.ml: +tools/coq_makefile.ml: +tools/coq-tex.ml: |