Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Repairing r16205: errors raised by check_evar_instance were no longer | herbelin | 2013-02-28 |
* | A slightly more efficient test of well-typedness of restriction of | herbelin | 2013-02-21 |
* | Added propagation of evars unification failure reasons for better | herbelin | 2013-02-17 |
* | Splitted Evarutil in two files | ppedrot | 2013-02-10 |