coq - The formal proof system

Age	Commit message (Collapse)	Author
2013-09-20	Get rid of "shouldsucceed" subdirectory by moving tests to parent directory.	xclerc
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16797 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-07-30	Updated test on Nsatz after Loïc moved NsatzR to Nsatz.	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13361 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-06-26	Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.	herbelin
	Fixing tests 2145.v about Nsatz. Adding nsatz target in Makefile. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13203 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-12-30	Regression test for bug #2145 (Groebner failing with "not eq" hypotheses).	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12617 85f007b7-540e-0410-9357-904b9bb8a0f7