coq - the Coq proof assistant

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