#1418 (Mar 14, 2021, 12:50:10 AM)

1. more direct elapsed run_time via bash_process wrapper (via Scala and C); (detail / hgweb)
2. merged (detail / hgweb)
3. use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and more elementary error messages; (detail / hgweb)
4. clarified signature: let Sledgehammer handle SystemOnTPTP comments; (detail / hgweb)
5. clarified signature: url may change dynamically and is part of result; (detail / hgweb)
6. clarified error; (detail / hgweb)
7. support timeout, similar to perl LWP::UserAgent; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML; (detail / hgweb)
11. support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); (detail / hgweb)
12. clarified HTTP.Content: support encoding;
    more realistic HTTP.Client operations; (detail / hgweb)
13. clarified signature: more explicit HTTP operations; (detail / hgweb)
14. tuned; (detail / hgweb)
15. more robust; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. clarified components; (detail / hgweb)

Started by an SCM change

This run spent:

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