bin/.cvsignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

coqc
coqmktop
coqtop.byte
coqtop.opt
minicoq
coqdep
coq_makefile
gallina
coq-tex
coq-extraction
coq-interface
parser
coq_vo2xml
coq-interface.opt
coqide.byte
coqide.opt
coqtopnew.opt
coqtopnew.byte
coqwc
coqdoc