Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Test-suite: output of Search | 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. | 2014-12-15 | |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Test-suite: output of Search | 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. | 2014-12-15 | |