| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | checker validation made a bit more verbose |  gareuselesinge | 2013-08-09 | |
| * | Declaremods: major refactoring, stop duplicating libobjects in modules |  letouzey | 2013-07-17 | |
| * | Checker: vo validation checks the absence of Var/Evar/Meta | letouzey | 2013-04-15 | |
| * | Checker : a md5-based way to ensure checker/values.ml is always in sync | letouzey | 2013-04-15 | |
| * | Checker: vo validation is now done in check.ml (and always) | letouzey | 2013-04-15 | |
| * | Checker: empty sections hardcoded in cb and mind | letouzey | 2013-04-15 | |
| * | Checker: reified encoding of .vo types in values.ml | letouzey | 2013-04-15 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |