coq - The formal proof system

Age	Commit message (Expand)	Author
2017-12-23	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-05-23	Bigint.euclid: clarify which sign convention is used	Pierre Letouzey
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-04-23	Removing dead code, thanks to new OCaml warnings and a bit of scripting.	Pierre-Marie Pédrot
2013-09-27	Removing a bunch of generic equalities.	ppedrot
2013-09-19	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-08-02	Bigint: new functions of_int and to_int, 2nd arg of pow in int	letouzey
2012-07-31	Bigint: adds a missing -1 in hugo's last commit 15659	letouzey
2012-07-30	Bigint : better ensure canonicity of arrays of int blocks	letouzey
2012-07-30	Bigint: avoid dependency over Pp	letouzey
2012-07-29	Better fixing propagation of carry in sub_mult used for euclidian	herbelin
2012-07-21	Fixing unchecked overflow in sub_mult used for euclidian division over	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-04-08	Some dead code removal + cleanups	letouzey
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2005-08-19	Sur le conseil de X.Leroy: x=[\|\|] devient Array.length x=0	letouzey
2004-12-24	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin