coq - The formal proof system

Age	Commit message (Expand)	Author
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