diff options
| author | Jason Gross <jasongross9@gmail.com> | 2016-10-11 17:18:40 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-11 17:18:40 -0400 |
| commit | 46d36eb78f4f14b9bc941b3aa72ac9d1092efd04 (patch) | |
| tree | b83f36dd773d7136c439aaa55e8ad621b381ea25 /Coq.gitignore | |
| parent | abad92dac5a4306f72242dae3bca6e277bce3615 (diff) | |
| download | gitignore-46d36eb78f4f14b9bc941b3aa72ac9d1092efd04.tar.gz gitignore-46d36eb78f4f14b9bc941b3aa72ac9d1092efd04.zip | |
Update Coq.gitignore
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.
Diffstat (limited to 'Coq.gitignore')
| -rw-r--r-- | Coq.gitignore | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index d3083b3a..ad9b23e2 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -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 |