| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 |