#502 (Oct 7, 2016, 10:40:02 AM)

1. moved to proper release (cf. 4a72b37ac4b8);
   tuned; (detail / hgweb)
2. updated for release; (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7 (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 35 min total from scheduled to completion.