9 Commits

Author	SHA1	Message	Date
Jason Gross	68f4c9a5a9	Update Coq.gitignore ... 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.	2021-04-13 10:39:58 -04:00
Jason Gross	994f99fc35	Add generated timing files to Coq.gitignore (#3367) ... These generated files were added in https://github.com/coq/coq/pull/745	2020-04-07 09:53:51 -03:00
Jason Gross	38c1cfcdbc	Update Coq.gitignore after coq/coq#11075 (#3247) ... Add .vok files from https://github.com/coq/coq/pull/11075	2019-11-25 16:45:55 -04:00
Jason Gross	44bc08a5d1	Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223)	2019-11-08 17:08:16 -04:00
Jason Gross	8202fbb408	Add mllib, mlpack files	2016-10-11 17:25:39 -04:00
Jason Gross	6615075fe4	Add .native	2016-10-11 17:21:20 -04:00
Jason Gross	46d36eb78f	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.	2016-10-11 17:18:40 -04:00
Ivan Zuzak	f0dde55c6b	ensure single trailing newline	2013-10-06 14:40:01 +02:00
Dan	2483494fc2	add Coq gitignore	2010-11-22 17:42:32 -08:00