Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleanup treatment of template universe polymorphism (thanks to E. Tassi | 2014-06-20 | |
* | Find a more efficient fix for dealing with template universes: | 2014-05-06 | |
* | Try a new way of handling template universe levels | 2014-05-06 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | Propagating conversion_problem towards (postponed) evar/evar problems. | 2014-04-01 | |
* | Removing useless array-to-list and converse casts used in | 2013-10-22 | |
* | Continuation of r16346 on filtering local definitions. Refined | 2013-03-30 | |
* | Repairing r16205: errors raised by check_evar_instance were no longer | 2013-02-28 | |
* | Added propagation of evars unification failure reasons for better | 2013-02-17 | |
* | Splitted Evarutil in two files | 2013-02-10 |