| Mon, 15 Mar 2021 11:50:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 15 Mar 2021 11:43:56 +0100 | wenzelm | tuned signature (again); | changeset | files |
| Sun, 14 Mar 2021 22:55:52 +0100 | wenzelm | tuned --- following hints by IntelliJ; | changeset | files |
| Sun, 14 Mar 2021 22:34:41 +0100 | wenzelm | tuned comments; | changeset | files |
| 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 |