Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tentative fix of test-suite file to avoid loop | 2016-06-16 | |
* | Cleanup and refactoring | 2016-06-16 | |
* | Revise syntax of Hint Cut | 2016-06-16 | |
* | Example given at DeepSpec workshop | 2016-06-16 | |
* | Purely refactoring and code/API cleanup. | 2016-06-16 | |
* | bteauto: a Proofview.tactic for multiple goals | 2016-06-16 |