Coq.gitignore 252 Bytes
Newer Older
James Lopez's avatar
James Lopez committed
1 2 3 4 5 6 7 8
.*.aux
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
9
*.glob
James Lopez's avatar
James Lopez committed
10 11 12 13 14 15 16
*.ml.d
*.ml4.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
17
*.v.d
James Lopez's avatar
James Lopez committed
18 19 20 21 22 23 24 25 26 27 28 29 30
*.vio
*.vo
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache