| Sun, 14 Mar 2021 21:41:28 +0100 | wenzelm | proper shell quote; | changeset | files |
| Sun, 14 Mar 2021 21:02:34 +0100 | wenzelm | removed spurious references to perl / libwww-perl; | changeset | files |
| Sun, 14 Mar 2021 20:29:26 +0100 | wenzelm | invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl); | changeset | files |