#1721 (Jun 6, 2018, 3:39:47 PM)

1. merged (detail / hgweb)
2. isabelle update_comments; (detail / hgweb)
3. tuned header; (detail / hgweb)
4. updated for release; (detail / hgweb)
5. updated for release; (detail / hgweb)
6. misc tuning and updates for release; (detail / hgweb)
7. updated for release; (detail / hgweb)
8. updated for release;
   tuned; (detail / hgweb)
9. eliminated suspicious Unicode; (detail / hgweb)
10. proper white space; (detail / hgweb)
11. updated to sqlite-jdbc-3.23.1; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 3 hr 14 min build duration;
• 3 hr 20 min total from scheduled to completion.