5 commits

Author	SHA1	Message	Date
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