#1662 (May 16, 2018, 10:49:06 PM)

1. avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout); (detail / hgweb)
2. clarified "consolidation" vs. "presentation"; (detail / hgweb)
3. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

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