#747 (Feb 4, 2017, 9:34:07 PM)

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:

• 5 min 4 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 35 min total from scheduled to completion.