diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
commit | 6b649aba925b6f7462da07599fe67ebb12a3460e (patch) | |
tree | 43656bcaa51164548f3fa14e5b10de5ef1088574 /.depend.camlp4 |
Imported Upstream version 8.0pl1upstream/8.0pl1
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: |