#1419 (Mar 15, 2021, 12:50:09 AM)

1. tuned --- following hints by IntelliJ; (detail / hgweb)
2. tuned comments; (detail / hgweb)
3. proper shell quote; (detail / hgweb)
4. removed spurious references to perl / libwww-perl; (detail / hgweb)
5. invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl);
   clarified inlined command-line;
   clarified errors: exception ERROR becomes UnknownError (it could stem from Scala function); (detail / hgweb)
6. clarified signature: refer to file name instead of file content; (detail / hgweb)
7. compile; (detail / hgweb)
8. clarified signature: more explicit types; (detail / hgweb)
9. support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. elapsed time to download content (and for the server to provide content); (detail / hgweb)

Started by an SCM change

This run spent:

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