COMMITS
/ Coq.gitignore November 25, 2019
J
Update Coq.gitignore after coq/coq#11075 (#3247)
Jason Gross committed
November 8, 2019
J
Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223)
Jason Gross committed
October 11, 2016
J
Add mllib, mlpack files
Jason Gross committed
J
Add .native
Jason Gross committed
J
Update Coq.gitignore
Jason Gross committed
October 6, 2013
I
ensure single trailing newline
Ivan Zuzak committed
November 21, 2010
D
add Coq gitignore
Dan committed