#653 (Jun 7, 2018, 12:50:10 AM)

1. merged (detail / hgweb)
2. reorient -> split; documented split (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4 (detail / hgweb)
5. merged (detail / hgweb)
6. resolution of name clashes in Algebra (detail / hgweb)
7. merged (detail / hgweb)
8. isabelle update_comments; (detail / hgweb)
9. tuned header; (detail / hgweb)
10. updated for release; (detail / hgweb)
11. updated for release; (detail / hgweb)
12. misc tuning and updates for release; (detail / hgweb)
13. updated for release; (detail / hgweb)
14. updated for release;
    tuned; (detail / hgweb)
15. eliminated suspicious Unicode; (detail / hgweb)
16. proper white space; (detail / hgweb)
17. updated to sqlite-jdbc-3.23.1; (detail / hgweb)
18. merged (detail / hgweb)
19. Keep filter input syntax (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.