| Sun, 14 Mar 2021 15:28:44 +0100 | wenzelm | support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp; | file | diff | annotate |
| Sun, 14 Mar 2021 13:21:59 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 13 Mar 2021 14:55:27 +0100 | wenzelm | clarified signature: let Sledgehammer handle SystemOnTPTP comments; | file | diff | annotate |
| Sat, 13 Mar 2021 14:27:07 +0100 | wenzelm | clarified error; | file | diff | annotate |
| Sat, 13 Mar 2021 14:08:25 +0100 | wenzelm | support timeout, similar to perl LWP::UserAgent; | file | diff | annotate |
| Sat, 13 Mar 2021 12:45:31 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 13 Mar 2021 12:36:24 +0100 | wenzelm | clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML; | file | diff | annotate |
| Fri, 12 Mar 2021 23:30:35 +0100 | wenzelm | support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); | file | diff | annotate |