coq - The formal proof system

Age	Commit message (Expand)	Author
2013-12-20	micromega: removal of spurious Export; addition of Lia.v encapsulating lia an...	Frédéric Besson
2012-08-08	Updating headers.	herbelin
2012-07-05	Legacy Ring and Legacy Field migrated to contribs	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-06-29	update of Micromega doc	fbesson
2011-06-28	improved tactic names	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	cbv delta - [...] before calling lia	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-03-08	Application des patches envoyés par F. Besson pour micromega	notin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey