coq - The formal proof system

Age	Commit message (Expand)	Author
2013-09-20	Get rid of "shouldfail" subdirectory by moving tests to parent directory.	xclerc
2013-09-20	Update test for bug 2846 in order to use "Fail".	xclerc
2013-09-20	Use "Fail" rather than rely on exit code.	xclerc
2013-08-04	Added test for bug #2846.	ppedrot
2011-10-18	Fix bug #2586 and enhance clsubst* as well as a side effect	msozeau
2011-02-21	Some fixes of the test-suite scripts	letouzey
2010-04-05	Granting wish #2251 (forbidding rewriting a term reduced to an evar)	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-11-26	closed bug 1898: fold x in x; added a reordering primitive tactic	barras
2008-11-23	Fixed bug #2006 (type constraint on Record was not taken into account) +	herbelin
2008-07-25	A better test for relations being setoids or not: do leibniz rewrite iff	msozeau
2007-09-21	- Fixing bug 1703 ("intros until n" falls back on the variable name when	herbelin