| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix: tooltip correctly handles the absence of info (empty string) |  gareuselesinge | 2013-04-25 |
| * | Coqide: Globalization feedback (proof of concept) | gareuselesinge | 2013-04-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |