Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Unification constraint handling (#4763, #5149) | 2016-10-22 | |
* | Merge branch 'v8.5' into v8.6 | 2016-10-12 | |
* | Merge branch 'v8.5' into v8.6 | 2016-10-12 | |
* | Adding variants enter_one and refine_one which assume that exactly one | 2016-09-16 | |
* | Proofview: extensions for backtracking eauto | 2016-06-16 | |
* | Implement limited proof search and iterative deepening. | 2016-06-16 | |
* | Merge 'pr/191' into trunk | 2016-06-16 | |
|\ | |||
| * | Fix a typo in proofs/proofview.mli. | 2016-06-14 | |
| * | Add goal range selectors. | 2016-06-14 | |
* | | STM: proof block detection for bullets and { block } | 2016-06-06 | |
|/ | |||
* | Moving Evarutil and Proofview to engine/ | 2016-03-20 |