coq - The formal proof system

Age	Commit message (Expand)	Author
2020-08-27	[nsatz] num → zarith	Vincent Laporte
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-23	Fixing typos - Part 2	JPR
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-12-09	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey
2014-03-05	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey
2013-09-27	Removing a bunch of generic equalities.	ppedrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 7)	letouzey
2012-12-19	Array.create is deprecated	pboutill
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-03-02	Noise for nothing	pboutill
2011-06-16	Tests de nsatz avec la geometrie	pottier
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-03	nsatz ajoute	pottier