#473 (Nov 12, 2017, 12:50:06 AM)

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

Started by an SCM change

This run spent:

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