#1166 (Apr 9, 2020, 12:50:10 AM)

1. clarified init of settings vs. services; (detail / hgweb)
2. tuned message; (detail / hgweb)
3. merged (detail / hgweb)
4. another isabelle_scala_service; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned -- avoid deprecated operations; (detail / hgweb)
7. more general support for isabelle_scala_service;
   clarified File_Format.registry; (detail / hgweb)
8. merged (detail / hgweb)
9. merged (detail / hgweb)
10. Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1 (detail / hgweb)
11. more robust: notably for sledgehammer with 'using' and prover=cvc4; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.