#423 (Sep 19, 2016, 8:11:11 PM)

1. adapting to Isabelle/9aed2da07200 (detail / hgweb)
2. adapting to Isabelle/6bf55e6e0b75 (detail / hgweb)

Started by an SCM change

This run spent:

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