#1088 (Dec 20, 2019, 12:50:07 AM)

1. more robust; (detail / hgweb)
2. tuned message; (detail / hgweb)
3. NEWS; (detail / hgweb)
4. more documentation; (detail / hgweb)
5. tuned documentation; (detail / hgweb)
6. more documentation; (detail / hgweb)
7. added option -r: support more robust consolidation of local clones with varying names; (detail / hgweb)
8. clarified backup; (detail / hgweb)
9. removed somewhat pointless option -R: more careful inspection of hgrc is required in practice; (detail / hgweb)
10. proper proof body context for Simplifier plugins (solvers, loopers, ...) -- avoid crash due to Subgoal.FOCUS (before e58bc223f46c); (detail / hgweb)
11. more robust bound_fixes: external name does appear in "fixes" name space and could clash with direct fixes (e.g. via Subgoal.FOCUS within a global context); (detail / hgweb)
12. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.