#1504 (Jul 15, 2021, 12:50:09 AM)

1. prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent (detail / hgweb)
2. tuning (detail / hgweb)
3. rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option (detail / hgweb)
4. correctly translate constructor argument in 'primrec' (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.