| Sun, 21 Jan 2024 14:05:14 +0100 |
wenzelm |
clarified signature: explicit type isabelle.Url to avoid oddities of java.net.URL (e.g. its "equals" method);
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| 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
|