parsing/.cvsignore


1
2
3
4
5
6
7
8
9
10
11
12
13

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
g_proofs.ml
g_minicoq.ml