Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update copyright headers. | 2016-01-20 | |
* | Protect code against changes in Map interface. | 2016-01-06 | |
* | Univs: fix checker generating undeclared universes. | 2015-10-02 | |
* | Univs: update checker | 2015-10-02 | |
* | Update headers. | 2015-01-12 | |
* | Fix checker's treatment of template polymorphic | 2015-01-06 | |
* | checker: Change in library on disk values, now using context_sets instead of | 2014-12-17 | |
* | Remove unused substitution functions in checker. | 2014-09-05 | |
* | Fix checker treatment of inductives using subst_instances instead of subst_un... | 2014-09-05 | |
* | Removing dead code in checker/univ.ml. | 2014-06-10 | |
* | Removing explanations of universe inconsistencies from the checker. They | 2014-06-10 | |
* | Providing the checker with its own version of the Univ file. | 2014-06-10 |