| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-04-02 | Add parsing of decimal constants (e.g., 1.02e+01) | Pierre Roux |
| 2018-02-20 | Update SearchPattern.out for numeral notations | Jason Gross |
| 2017-02-14 | Test-suite: output of Search | Arnaud Spiwack |
| 2016-10-20 | [search] Don't build intermediate lists in search. | Emilio Jesus Gallego Arias |
| 2014-12-15 | Tests for Searchxxx commands added and modified. | Pierre Courtieu |
| 2014-11-06 | Consequence of changing the definition of Nat.shiftl and Nat.shiftr. | Hugo Herbelin |
| 2014-07-21 | Fixing output test-suite. | Pierre-Marie Pédrot |
| 2013-04-17 | Renaming SearchAbout into Search and Search into SearchHead. | herbelin |
| 2012-06-12 | Fixing test-suite after last storm in Pp. | pboutill |
| 2011-05-16 | test-suite: no more ..._beq in the output of the search tests | letouzey |
| 2011-05-16 | Fix order in Search tests. | letouzey |
| 2011-05-06 | Fixes in the test-suite after modularisation of ZArith and co | letouzey |
| 2010-03-11 | Minimal test suite for search commands | puech |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |