#1257 (Aug 16, 2020, 1:24:00 AM)

1. proper protocol init (amending 065dcd80293e); (detail / hgweb)
2. clarified names; (detail / hgweb)
3. provide protocol handlers via isabelle_system_service; (detail / hgweb)
4. prefer formal name; (detail / hgweb)

Started by an SCM change

This run spent:

• 33 min waiting;
• 1 hr 28 min build duration;
• 2 hr 2 min total from scheduled to completion.