coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Bugfix micromega: more careful syntaxification of terms of the form (Rinv t)	Frédéric Besson	2016-04-18
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	micromega : fix silly timeout	Frédéric Besson	2015-06-06
* \|	micromega : options to limit proof search	Frédéric Besson	2015-05-26
* \|	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
*	Remove some uses of local modules (some were unused, some were costly).	xclerc	2013-10-14
*	Restrict (try...with...) to avoid catching critical exn (part 11)	letouzey	2013-03-13
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Q2R -> IQR	fbesson	2011-05-25
*	added support to handle division by a constant over R	fbesson	2011-05-20
*	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
*	Manual qualification of Mfourier.Proof in micromega to avoid ocamldep using i...	letouzey	2010-03-30
*	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
*	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