Commit Graph

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