#628 (Nov 30, 2016, 4:47:11 PM)

1. merge (detail / hgweb)
2. tuned name (oops) (detail / hgweb)
3. Added tag Isabelle2016-1 for changeset 84bcab88c95f (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 4 min 20 sec build duration;
• 4 min 29 sec total from scheduled to completion.