coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	Remove the deprecation for some 8.2-8.5 compatibility aliases.	Théo Zimmermann	2018-03-02
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-04
\|\
\| *	Int.v: simplify Jason's commit 5b4e3ace	Pierre Letouzey	2016-05-04
* \|	Making parentheses mandatory in tactic scopes.	Pierre-Marie Pédrot	2016-03-04
\| *	Move compatibility notations to their proper files	Jason Gross	2015-12-29
\|/
*	ZArith/Int.v: some modernizations	Pierre Letouzey	2015-04-02
*	No more constant named "int" in Coq theories (cf bug #2878)	letouzey	2012-12-18
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	MSetRBT : implementation of MSets via Red-Black trees	letouzey	2012-04-13
*	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge	2011-11-21
*	Modularization of BinPos + fixes in Stdlib	letouzey	2011-05-05
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	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
*	ZArith/Int: no need to load romega here (but rather in FullAVL)	letouzey	2009-03-28
*	A generic preprocessing tactic zify for (r)omega	letouzey	2007-07-18
*	fixed field_simplify + changed precedence of let and fun in ltac	barras	2006-10-30
*	Mise en forme des theories	notin	2006-10-17
*	Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...	herbelin	2006-06-09