.gitignore


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

Makefile.coq
Makefile.coq.conf
*.glob
*.d
*.d.raw
*.vio
*.vo
*.cm*
*.annot
*.spit
*.spot
*.o
*.a
*.aux