hiro/gitignore
1
0
Fork 0
mirror of https://github.com/vale981/gitignore synced 2025-03-04 17:31:42 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update Coq.gitignore

Browse source 
Add various files that show up when you run tactics (the *.cache in 8.4 and 8.5, .*.cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5.
This commit is contained in:
Jason Gross 2016-10-11 17:18:40 -04:00 • committed by GitHub
parent abad92dac5
commit 46d36eb78f
1 changed files with 25 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
Coq.gitignore
View file

@ -1,3 +1,27 @@
*.vo
.*.aux
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mli.d
*.o
*.v.d
*.vio
*.vo
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache