#1447 (Apr 18, 2021, 12:50:06 AM)

1. updated example; (detail / hgweb)
2. clarified options (again); (detail / hgweb)
3. more options: update ISABELLE_IDENTIFIER; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 52 min build duration;
• 53 min total from scheduled to completion.