coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove VernacError	Gaetan Gilbert	2017-04-21
\|
*	Test-suite: output of Search	Arnaud Spiwack	2017-02-14
\| \| \| \| \|	Fix the ordering of the results in the output of Search to correspond to the "priority" ordering.
*	Tests for Searchxxx commands added and modified.	Pierre Courtieu	2014-12-15
\|
*	Fixing output test-suite.	Pierre-Marie Pédrot	2014-07-21
\|
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
\| \| \| \| \| \|	I hope I did not forget any place to change. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16423 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Update output/Search.out after hint-related extra defs in Peano	letouzey	2012-11-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15980 85f007b7-540e-0410-9357-904b9bb8a0f7
*	test-suite: no more ..._beq in the output of the search tests	letouzey	2011-05-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14128 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix order in Search tests.	letouzey	2011-05-16
\| \| \| \| \| \|	Signed-off-by: Tom Prince <tom.prince@ualberta.net> git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14127 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixes in the test-suite after modularisation of ZArith and co	letouzey	2011-05-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14114 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Minimal test suite for search commands	puech	2010-03-11
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12860 85f007b7-540e-0410-9357-904b9bb8a0f7