Sat, 13 Mar 2021 15:39:48 +0100 | wenzelm | merged | changeset | files |
Sat, 13 Mar 2021 15:14:46 +0100 | wenzelm | use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and more elementary error messages; | changeset | files |
Sat, 13 Mar 2021 14:55:27 +0100 | wenzelm | clarified signature: let Sledgehammer handle SystemOnTPTP comments; | changeset | files |