coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	fix bug 2510: xml test is in the summary if it fails	pboutill	2011-06-22
*	Extension of the recursive notations mechanism	herbelin	2010-07-22
*	Restore test-suite/csdp.cache erased from svn by mistake	letouzey	2009-11-12
*	BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504)	letouzey	2009-11-12
*	Redoing broken commit r12498 (fixing bug #2167 + attempt to test the	herbelin	2009-11-11
*	Fixing bug #2167 + attempt to test the compatibility of a more robust	herbelin	2009-11-11
*	Micromega doc : psatz Z -> psatz Z 2	fbesson	2009-09-24
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...	fbesson	2009-08-25
*	Relatively ad hoc fix to an ill-typed instantiation bug in type	herbelin	2009-08-11
*	micromega: proof compression bugfix	fbesson	2009-05-11
*	Micromega: doc + test-suite update	fbesson	2008-07-07
*	Micromega : bugs fixes - renaming of tactics - documentation	fbesson	2008-06-25
*	Corrections d'erreurs rapportées par Frédéric Besson sur le précédent	herbelin	2008-05-20
*	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin	2008-05-19