#113 (Mar 28, 2016, 11:20:11 PM)

1. compile (detail / hgweb)
2. updated Sledgehammer documentation (detail / hgweb)
3. a more generous hard timeout (detail / hgweb)
4. early warning when Sledgehammer finds a proof (detail / hgweb)
5. another 'corec' example (detail / hgweb)
6. don't ask too much of 'transfer_prover' (detail / hgweb)
7. commented out for now (detail / hgweb)
8. tuning (detail / hgweb)
9. FIXME (detail / hgweb)
10. avoid 'prove_sorry' for unreliable tactics (detail / hgweb)
11. reused code (detail / hgweb)
12. tuning (detail / hgweb)
13. tuned examples (detail / hgweb)
14. new 'corec' example (detail / hgweb)
15. more reliable check for rhs variables (detail / hgweb)
16. strengthened tactic (detail / hgweb)
17. generalized ML function (detail / hgweb)
18. added '_legacy' suffixes (detail / hgweb)
19. generalized ML interface (detail / hgweb)
20. tuning (detail / hgweb)
21. refined experimental option of Sledgehammer (detail / hgweb)

Started by an SCM change