.cvsignore « bin - coq - The formal proof system

about summary refs log tree commit diff

path: root/bin/.cvsignore

blob: 267d4554384c93dd4b5165384151379222143f88 (plain)

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