| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing bug #5741 (anomaly in info_trivial). |  Hugo Herbelin | 2017-09-19 |
| | | | | | The bug was introduced in 1559f73. | ||
| * | Tests for info/debug auto/eauto. | Hugo Herbelin | 2016-11-19 |
| This is while waiting for a deeper uniformization of auto, eauto, and typeclasses eauto. Incidentally includes a little fix in harmonizing auto/eauto printing. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |