#1017 (Aug 17, 2017, 6:23:10 PM)

1. Merged (detail / hgweb)
2. Adapted to isabelle-dev/97ad7a583457 (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 38 min total from scheduled to completion.