Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -2/+4 |
* | Fix test | mniip | 2019-08-07 | 1 | -1/+1 |
* | Explicitly number equations when printing axiom incompatibilities | mniip | 2019-08-07 | 1 | -3/+3 |
* | Fix test | mniip | 2019-08-07 | 1 | -9/+7 |
* | Add a -fprint-axiom-incomps option (#15546) | mniip | 2019-08-07 | 1 | -0/+11 |