coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Fix Bug #5073 : regression of micromega plugin	Frédéric Besson	2016-09-08
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	maintenance micromega plugin	Frédéric Besson	2015-04-28
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing some generic equalities in Micromega.	Pierre-Marie Pédrot	2014-03-03
*	Fixing pervasive comparisons	Pierre-Marie Pédrot	2014-03-01
*	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey	2014-01-30
*	Restrict (try...with...) to avoid catching critical exn (part 15)	letouzey	2013-03-13
*	invalid_arg instead of raise (Invalid_argement ...)	letouzey	2013-03-12
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Improved lia + experimental nlia	fbesson	2011-05-09
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	A little bit of cleanup, and some annotations.	fkirchne	2010-05-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...	fbesson	2009-08-25
*	new csdp cache + improved error message	fbesson	2009-08-20
*	new csdp cache + improved error message	fbesson	2009-08-20
*	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson	2009-07-30
*	Micromega: improvement of the code obtained by extraction	letouzey	2009-03-29
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20