aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Search.out
Commit message (Expand)AuthorAge
* Tests for Searchxxx commands added and modified.Gravatar Pierre Courtieu2014-12-15
* Fixing output test-suite.Gravatar Pierre-Marie Pédrot2014-07-21
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Update output/Search.out after hint-related extra defs in PeanoGravatar letouzey2012-11-17
* test-suite: no more ..._beq in the output of the search testsGravatar letouzey2011-05-16
* Fix order in Search tests.Gravatar letouzey2011-05-16
* Fixes in the test-suite after modularisation of ZArith and coGravatar letouzey2011-05-06
* Minimal test suite for search commandsGravatar puech2010-03-11