.cvsignore « bin - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/bin/.cvsignore

blob: 4ec23cbfe21e6f746f70344f5129b96bfe8fa930 (plain)

coqc
coqmktop
coqtop.byte
coqtop.opt
minicoq
coqdep
coq_makefile
gallina
coq-tex