#508 (Oct 8, 2016, 5:40:06 PM)

1. merged (detail / hgweb)
2. prefer local timezone; (detail / hgweb)
3. support for Isabelle/Jenkins log file format; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified meta info; (detail / hgweb)
6. tuned comment; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. more permissive: accept all historic isatest and afp-test logs; (detail / hgweb)
10. accept spurious empty logs; (detail / hgweb)
11. prefer static Date_Format; (detail / hgweb)
12. more formal directory content;
    clarified date format; (detail / hgweb)
13. tuned error; (detail / hgweb)
14. tuned; (detail / hgweb)
15. misc tuning and clarification; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 36 min total from scheduled to completion.