#1471 (May 25, 2021, 12:50:07 AM)

1. clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle"); (detail / hgweb)
2. tuned message, e.g. for Pure bootstrap; (detail / hgweb)
3. proper signature export (amending b50f8cc8c08e); (detail / hgweb)
4. syslog option for "isabelle build"; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.