aboutsummaryrefslogtreecommitdiffstats
path: root/Coq.gitignore
Commit message (Collapse)AuthorAgeFilesLines
* Update Coq.gitignoreJason Gross2021-04-131-1/+3
| | | Coq now uses .mlg rather than .ml4 (since https://github.com/coq/coq/pull/8763), so we have to ignore its generated dependency files. The `native_compute_profile_*.data` files are generated by `Set NativeCompute Profiling` (see https://github.com/coq/coq/pull/950). Finally `.coq-native` is a directory that may be generated in any subdirectory, not only at top level, so we should not use absolute paths for it.
* Add generated timing files to Coq.gitignore (#3367)Jason Gross2020-04-071-0/+10
| | | These generated files were added in https://github.com/coq/coq/pull/745
* Update Coq.gitignore after coq/coq#11075 (#3247)Jason Gross2019-11-251-0/+1
| | | Add .vok files from https://github.com/coq/coq/pull/11075
* Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223)Jason Gross2019-11-081-0/+2
|
* Add mllib, mlpack filesJason Gross2016-10-111-0/+2
|
* Add .nativeJason Gross2016-10-111-0/+1
|
* Update Coq.gitignoreJason Gross2016-10-111-1/+25
| | | 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.
* ensure single trailing newlineIvan Zuzak2013-10-061-1/+0
|
* add Coq gitignoreDan2010-11-221-0/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 22:11:34 +0000