coq - The formal proof system

Age	Commit message (Expand)	Author
2014-03-03	Fixing some generic equalities in Micromega.	Pierre-Marie Pédrot
2014-03-01	Fixing pervasive comparisons	Pierre-Marie Pédrot
2013-10-14	Remove some uses of local modules (some were unused, some were costly).	xclerc
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 11)	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2011-05-25	Q2R -> IQR	fbesson
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-28	A little bit of cleanup, and some annotations.	fkirchne
2010-03-30	Manual qualification of Mfourier.Proof in micromega to avoid ocamldep using i...	letouzey
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-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	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