coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Adapting test Existentials to new numbering strategy of evars (r14764).	herbelin	2011-12-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14777 85f007b7-540e-0410-9357-904b9bb8a0f7
*	test-suite: fix output/Existentials.out	glondu	2010-10-06
\| \| \| \| \| \| \|	The new output makes sense with the new "1 subgoal = 1 evar" paradigm introduced with by the new proof engine. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13508 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix test output mentionning an existential number that changed.	msozeau	2009-04-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12096 85f007b7-540e-0410-9357-904b9bb8a0f7
*	The initial state evar numbering increased. Fix output message in a test.	puech	2009-01-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11805 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Regression test for bug #1967	herbelin	2009-01-02
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11740 85f007b7-540e-0410-9357-904b9bb8a0f7