coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Preprend Fail to all the expected failures in the documentation.	Guillaume Melquiond	2015-03-05
*	Fixing bug 3099.	Pierre-Marie Pédrot	2015-02-26
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Expand Credits for 8.5 and doc on universes	Matthieu Sozeau	2015-01-15
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-08
*	Documenting the Set Refine Instance Mode.	Pierre-Marie Pédrot	2014-11-30
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Documenting the previous commit: Existing Instance with priority.	ppedrot	2013-08-01
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Add 'Existing Instances' declaration to declare multiple instances at once.	letouzey	2011-04-06
*	Fix [Existing Class] impl and add documentation. Fix computation of the	msozeau	2010-02-10
*	Specific syntax for Instances in Module Type: Declare Instance	letouzey	2010-01-04
*	Document Generalizable Variables, and change syntax to	msozeau	2009-11-15
*	Typos.	gmelquio	2009-10-13
*	Add doc of [Context] vernacular.	msozeau	2009-09-11
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Last changes in type class syntax:	msozeau	2009-01-18
*	Fixes in the type classes documentation:	msozeau	2008-12-14
*	Renommage "Global Instance" en "Instance Global" pour uniformisation	herbelin	2008-10-20
*	A pass on documentation:	msozeau	2008-09-14
*	Documentation fixes.	msozeau	2008-07-09
*	Second pass on typeclasses documentation, fix html rendering.	msozeau	2008-06-08
*	Fix eauto still using delta when it shouldn't (should make CoRN compile	msozeau	2008-04-29
*	Add almost empty Classes.tex for documentation of type classes.	msozeau	2008-04-17