coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Hugo put me in credits, but I was already there :)	Maxime Dénès	2015-01-15
*	Tentatively updating credits while remaining brief.	Hugo Herbelin	2015-01-13
*	Add myself to credits.	Maxime Dénès	2015-01-12
*	Update credits.	Guillaume Melquiond	2015-01-12
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
*	Fixed #2789.	ppedrot	2012-05-25
*	Version number, copyright, credits: missing updates.	herbelin	2011-12-25
*	plugin groebner updated and renamed as nsatz; first version of the doc of nsa...	pottier	2010-06-03
*	Update of credits files	herbelin	2010-05-09
*	Backport from v8.2 branch of 11986 (interpretation of quantified	herbelin	2009-03-22
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	MAJ crédits	herbelin	2008-05-19
*	first-order --> firstorder (kills a warning about not being a valid id)	letouzey	2008-04-16
*	- Un peu de doc, préparation du CHANGES pour la release.	herbelin	2008-04-15
*	typo	herbelin	2006-10-30
*	Restriction au implémenteurs	herbelin	2006-10-27
*	MAJ	herbelin	2006-10-26
*	Typo dans CREDITS	notin	2006-05-16
*	mise a jour credits	cpaulin	2006-04-14
*	MAJ 8.1	herbelin	2006-04-14
*	Référence pour IntMap	herbelin	2005-09-09
*	Crédit	herbelin	2004-09-09
*	MAJ technique	herbelin	2004-07-12
*	CREDITS	mohring	2004-03-17
*	Mise a jour ZArith/Cregut	mohring	2004-03-16
*	Mise a jour CREDITS en vue copyright	mohring	2004-03-15
*	Added credits for jprover.	huang	2002-04-04
*	MAJ	herbelin	2002-01-17
*	MAJ V7.1	herbelin	2001-09-26
*	* empty log message *	mohring	2001-09-21
*	Mise a jour	mohring	2001-09-21
*	Mise a jour	mohring	2001-03-09
*	* empty log message *	mohring	2001-03-09
*	Mise a jour credits pour la V7	mohring	2001-03-09
*	Ajout des credits version V6.3	mohring	2001-02-02