#254 (Feb 5, 2017, 12:50:07 AM)

1. more uniform use of Reconstruct.clean_proof_of; (detail / hgweb)
2. clarified message: print subgoal number instead of potentially large term; (detail / hgweb)
3. tuned; (detail / hgweb)
4. suppress warnings uniformly, even in explicit commands 'find_theorems', 'solve_direct'; (detail / hgweb)
5. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.