.cvsignore - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/.cvsignore

blob: d967058e17c57f1c71de8e755faab027b4f7b45b (plain)

coqtop.byte
coqtop
minicoq
coqtop.opt
glob.dump
tmp
.depend.devel
newtheories
newcontrib
*.v8