#1497 (Mar 3, 2018, 3:40:06 PM)

1. clarified signature; (detail / hgweb)
2. clarified self_update: imitate visible directory state on remote side; (detail / hgweb)
3. more operations; (detail / hgweb)
4. self_update implies push_isabelle_home (see also 4c253e84ae62); (detail / hgweb)
5. uniform setup_repository (pull/clone without update);
   tuned signature; (detail / hgweb)
6. clarified signature: facilitate interactive experimentation; (detail / hgweb)
7. clarified tasks; (detail / hgweb)
8. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 2 hr 0 min build duration;
• 2 hr 5 min total from scheduled to completion.