| Sun, 14 Mar 2021 16:50:11 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sun, 14 Mar 2021 15:28:44 +0100 | wenzelm | support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp; | changeset | files |
| Sun, 14 Mar 2021 13:21:59 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 14 Mar 2021 13:09:17 +0100 | wenzelm | elapsed time to download content (and for the server to provide content); | changeset | files |
| Sat, 13 Mar 2021 19:29:45 +0100 | wenzelm | more direct elapsed run_time via bash_process wrapper (via Scala and C); | changeset | files |
| Sat, 13 Mar 2021 15:39:48 +0100 | wenzelm | merged | changeset | files |