#1208 (Oct 10, 2017, 1:33:32 AM)

1. merged (detail / hgweb)
2. tuned: less oo-non-sense; (detail / hgweb)
3. operations for graph display; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. dependencies of entries vs. sessions;
   json output like "isabelle afp_dependencies";
   misc tuning; (detail / hgweb)
6. some administrative support for AFP; (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified signature: public access to ROOT file syntax; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 52 min total from scheduled to completion.