| Mon, 12 Apr 2021 22:16:31 +0200 |
wenzelm |
clarified signature: more structured arguments, notably for remote provers;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Mon, 15 Mar 2021 11:50:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 15 Mar 2021 11:43:56 +0100 |
wenzelm |
tuned signature (again);
|
file |
diff |
annotate
|
| Sun, 14 Mar 2021 18:32:11 +0100 |
wenzelm |
clarified signature: refer to file name instead of file content;
|
file |
diff |
annotate
|
| 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
|