.cvsignore « parsing - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/parsing/.cvsignore

blob: 41e9ca1c990e439ecc4f8e104ed536d5bd5718c9 (plain)

lexer.ml
*.ppo
pcoq.ml
extend.ml
g_prim.ml
q_coqast.ml
g_basevernac.ml
g_vernac.ml
g_tactic.ml
g_constr.ml
g_cases.ml