.gitignore


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

*.aux
*.glob
*.tar.gz
*.vo
*.vok
*.vos
*~
.CoqMakefile.d
.lia.cache
CoqMakefile
CoqMakefile.conf
Makefile
autom4te.cache
config.log
config.status
configure