coq - The formal proof system

Age	Commit message (Expand)	Author
2013-11-15	bugfix micromega: solved an ambiguous symbol resolution	fbesson
2013-08-22	Misc changes around coqtop.ml :	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 11)	letouzey
2012-12-14	Modulification of identifier	ppedrot
2012-12-08	Ensure that a function declared with a label is used with it	letouzey
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-06-01	More cleaning	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-01-14	coq_micromega.ml: fix order of recursive calls to rconstant	glondu
2012-01-14	More newlines in debugging output of psatzl	glondu
2011-07-29	Coq_micromega: generic = on constr replaced by eq_constr	puech
2011-05-25	Q2R -> IQR	fbesson
2011-05-23	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14152 85f007b7-540e-0...	fbesson
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-18	apply zeta reduction before syntaxification	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2011-05-05	Definitions of positive, N, Z moved in Numbers/BinNums.v	letouzey
2010-10-21	Solve name conflict about pow introduced by commit 13546.	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-28	Modify the test for csdp and associated message.	fkirchne
2010-05-28	...	fkirchne
2010-04-11	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu
2010-03-08	Application des patches envoyés par F. Besson pour micromega	notin
2009-11-03	OrderedType implementation for various numerical datatypes + min/max structures	letouzey
2009-10-04	Removal of trailing spaces.	serpyc
2009-09-18	micromega: better handling of exponentiation + correction of test-suite termi...	fbesson
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-25	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...	fbesson
2009-08-20	new csdp cache + improved error message	fbesson
2009-08-20	new csdp cache + improved error message	fbesson
2009-07-31	addition of lia.cache - csdp.cache is now handled by micromega not csdpcert	fbesson
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson
2009-05-11	micromega: proof compression bugfix	fbesson
2009-03-29	Micromega: improvement of the code obtained by extraction	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey