Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update SearchPattern.out for numeral notations | 2018-02-20 | |
* | Test-suite: output of Search | 2017-02-14 | |
* | [search] Don't build intermediate lists in search. | 2016-10-20 | |
* | Tests for Searchxxx commands added and modified. | 2014-12-15 | |
* | Consequence of changing the definition of Nat.shiftl and Nat.shiftr. | 2014-11-06 | |
* | Fixing output test-suite. | 2014-07-21 | |
* | Renaming SearchAbout into Search and Search into SearchHead. | 2013-04-17 | |
* | Fixing test-suite after last storm in Pp. | 2012-06-12 | |
* | 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 |