Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Checker: vo validation checks the absence of Var/Evar/Meta | 2013-04-15 | |
* | Checker : a md5-based way to ensure checker/values.ml is always in sync | 2013-04-15 | |
* | Checker: vo validation is now done in check.ml (and always) | 2013-04-15 | |
* | Checker: empty sections hardcoded in cb and mind | 2013-04-15 | |
* | Checker: reified encoding of .vo types in values.ml | 2013-04-15 |