| Sun, 14 Mar 2021 18:32:11 +0100 | wenzelm | clarified signature: refer to file name instead of file content; | changeset | files |
| Sun, 14 Mar 2021 18:27:55 +0100 | wenzelm | compile; | changeset | files |
| 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 |