#1293 (Nov 11, 2017, 7:52:05 PM)

1. avoid download of components; (detail / hgweb)
2. local user_home for improved performance, but only after given changeset for stability of measurement history; (detail / hgweb)
3. support alternative USER_HOME directory; (detail / hgweb)
4. clarified settings environment; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned; (detail / hgweb)
7. more options for "isabelle mkroot";
   updated documentation; (detail / hgweb)
8. adapted to changed ROOT syntax (see 13857f49d215);
   discontinued pointless option -d: always enabled; (detail / hgweb)
9. converted to Isabelle/Scala; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.