aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/bteauto.v
Commit message (Expand)AuthorAge
* Revert more of a477dc for good measureGravatar Matthieu Sozeau2016-11-16
* Revert part of a477dc, disallow_shelvedGravatar Matthieu Sozeau2016-11-15
* Fix test-suite files relying on tcs bugsGravatar Matthieu Sozeau2016-11-03
* typeclasses eauto Implem/doc of shelving strategyGravatar Matthieu Sozeau2016-11-03
* Typeclass backtracking example by J. LeivantGravatar Matthieu Sozeau2016-09-28
* Tentative fix of test-suite file to avoid loopGravatar Matthieu Sozeau2016-06-16
* Cleanup and refactoringGravatar Matthieu Sozeau2016-06-16
* Revise syntax of Hint CutGravatar Matthieu Sozeau2016-06-16
* Example given at DeepSpec workshopGravatar Matthieu Sozeau2016-06-16
* Purely refactoring and code/API cleanup.Gravatar Matthieu Sozeau2016-06-16
* bteauto: a Proofview.tactic for multiple goalsGravatar Matthieu Sozeau2016-06-16