Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove VernacError | 2017-04-21 | |
* | Test-suite: output of Search | 2017-02-14 | |
* | Tests for Searchxxx commands added and modified. | 2014-12-15 | |
* | Fixing output test-suite. | 2014-07-21 | |
* | Renaming SearchAbout into Search and Search into SearchHead. | 2013-04-17 | |
* | Update output/Search.out after hint-related extra defs in Peano | 2012-11-17 | |
* | test-suite: no more ..._beq in the output of the search tests | 2011-05-16 | |
* | Fix order in Search tests. | 2011-05-16 | |
* | Fixes in the test-suite after modularisation of ZArith and co | 2011-05-06 | |
* | Minimal test suite for search commands | 2010-03-11 |