#592 (Oct 28, 2016, 9:31:17 PM)

1. tuned; (detail / hgweb)
2. merged (detail / hgweb)
3. Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7 (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 59 min build duration;
• 1 hr 4 min total from scheduled to completion.