Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Move bullets and goals selectors to `proofs/` | 2018-05-01 | |
* | Strict focusing using Default Goal Selector. | 2018-04-29 | |
* | Update headers following #6543. | 2018-02-27 | |
* | [proof] [api] Rename proof types in preparation for functionalization. | 2017-11-29 | |
* | Cleanup suggest_bullet | 2017-09-29 | |
* | [proof] Move bullets to their own module. | 2017-06-12 |