#1356 (Dec 10, 2020, 2:45:37 AM)

1. merged (detail / hgweb)
2. clarified protocol: support "isabelle log" on failed theories as well; (detail / hgweb)
3. tuned comments; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. added "isabelle log": print messages from build database; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature: name according to db model without Sessions.Structure/Deps; (detail / hgweb)
11. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 55 min waiting;
• 1 hr 29 min build duration;
• 3 hr 25 min total from scheduled to completion.