#489 (Oct 19, 2016, 11:23:09 PM)

1. isabelle update_header -- assuming 'section' was meant here; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.