#1259 (Aug 18, 2020, 12:50:09 AM)

1. allow user-defined server commands via isabelle_scala_service; (detail / hgweb)
2. more systematic support for special directories; (detail / hgweb)
3. proper init of cumulative settings; (detail / hgweb)

Started by an SCM change

This run spent:

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