coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Updating headers.	herbelin	2012-08-08
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	Some more cleanup of Zorder	letouzey	2011-06-23
*	Zcompare.destr_zcompare subsumed by case Z.compare_spec	letouzey	2011-06-20
*	Clean-up of Zcompare and Zorder	letouzey	2011-06-20
*	Modularization of BinInt, related fixes in the stdlib	letouzey	2011-05-05
*	Modularization of BinPos + fixes in Stdlib	letouzey	2011-05-05
*	CompareSpec: a slight generalization/reformulation of CompSpec	letouzey	2011-03-17
*	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey	2010-11-18
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType	letouzey	2010-02-09
*	Better visibility of the inductive CompSpec used to specify comparison functions	letouzey	2009-11-03
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	OrderedTypeEx.N_as_OT use Nlt, various minor improvements in N/ZArith	letouzey	2009-07-24
*	Fix bug #1899: no more strange notations for Qge and Qgt	letouzey	2008-07-04
*	Mise en forme des theories	notin	2006-10-17
*	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin	2006-05-28
*	Nouvelle en-tête	herbelin	2004-07-16
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Simplification; ajout Zcompare_antisym	herbelin	2003-11-21
*	Restructuration ZArith	herbelin	2003-11-12