Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7338: [api] Move `hint_info_expr` to `Typeclasses`. | 2018-05-04 | |
|\ | |||
* | | [api] Move bullets and goals selectors to `proofs/` | 2018-05-01 | |
* | | Strict focusing using Default Goal Selector. | 2018-04-29 | |
| * | [api] Move `hint_info_expr` to `Typeclasses`. | 2018-04-26 | |
|/ | |||
* | [api] Relocate `intf` modules according to dependency-order. | 2018-04-23 |