#1132 (Feb 27, 2020, 12:50:09 AM)

1. simplified proofs (detail / hgweb)
2. updated for release; (detail / hgweb)
3. updated for release; (detail / hgweb)
4. merged (detail / hgweb)
5. updated for release; (detail / hgweb)
6. updated version; (detail / hgweb)
7. obsolete; (detail / hgweb)
8. less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel; (detail / hgweb)
9. misc tuning and clarification; (detail / hgweb)
10. obsolete; (detail / hgweb)
11. proper message passing -- discontinued obsolete auxiliary commands; (detail / hgweb)
12. clarified Panel;
    discontinued intermediate Content_Provider; (detail / hgweb)
13. removed duplicate (amending 5763d9a2f47d, 5aa9cb83e70e); (detail / hgweb)
14. update to WebviewPanel API, following initial version by Peter Zeller; (detail / hgweb)
15. Moved a number of general-purpose lemmas into HOL (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.