aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/proofview.mli
Commit message (Expand)AuthorAge
* Unification constraint handling (#4763, #5149)Gravatar Matthieu Sozeau2016-10-22
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
* Adding variants enter_one and refine_one which assume that exactly oneGravatar Hugo Herbelin2016-09-16
* Proofview: extensions for backtracking eautoGravatar Matthieu Sozeau2016-06-16
* Implement limited proof search and iterative deepening.Gravatar Matthieu Sozeau2016-06-16
* Merge 'pr/191' into trunkGravatar Enrico Tassi2016-06-16
|\
| * Fix a typo in proofs/proofview.mli.Gravatar Cyprien Mangin2016-06-14
| * Add goal range selectors.Gravatar Cyprien Mangin2016-06-14
* | STM: proof block detection for bullets and { block }Gravatar Enrico Tassi2016-06-06
|/
* Moving Evarutil and Proofview to engine/Gravatar Pierre-Marie Pédrot2016-03-20