#1722 (Jun 6, 2018, 7:00:13 PM)

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)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 24 min build duration;
• 3 hr 29 min total from scheduled to completion.