| Tue, 17 Oct 2023 12:10:58 +0200 |
wenzelm |
tuned signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2023 11:27:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2023 14:43:07 +0200 |
wenzelm |
clarified treatment of exceptions: avoid catch-all handlers;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 15:04:47 +0200 |
wenzelm |
more robust management of resources, using Thread_Attributes.uninterruptible;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 15:03:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 14:42:33 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 14:29:55 +0200 |
wenzelm |
more robust management of resources, using Thread_Attributes.uninterruptible;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2023 12:46:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 21 Sep 2023 23:45:03 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2023 13:12:13 +0200 |
wenzelm |
tuned (following 69c6d3e87660);
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 23:27:26 +0200 |
wenzelm |
support XZ compression in Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 23:05:37 +0200 |
wenzelm |
prefer scalable byte strings;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 22:17:11 +0200 |
wenzelm |
more scalable byte messages, notably for Scala functions in ML;
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 11:23:18 +0200 |
wenzelm |
permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2021 12:04:55 +0200 |
wenzelm |
clarified process description;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2021 12:33:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 22:23:37 +0200 |
wenzelm |
clarified signature: more options for bash_process;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 23:00:10 +0200 |
wenzelm |
proper signature export (amending b50f8cc8c08e);
|
file |
diff |
annotate
|
| Sun, 25 Apr 2021 22:33:15 +0200 |
wenzelm |
avoid "exec" to change the winpid;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 22:57:39 +0200 |
wenzelm |
support for base64 via Isabelle/Scala/ML;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 21:48:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:29:34 +0200 |
wenzelm |
clarified signature: avoid tmp file;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Thu, 08 Apr 2021 16:43:35 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
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
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:31:11 +0100 |
wenzelm |
clarified signature, according to Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:24:27 +0100 |
wenzelm |
download on separate thread;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:11:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 15:09:57 +0100 |
wenzelm |
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 14:58:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 22:17:56 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:36:58 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:01:07 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 17:33:40 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 17:25:54 +0100 |
wenzelm |
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 17:17:30 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 16:54:33 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 15:24:04 +0100 |
wenzelm |
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 12:30:05 +0100 |
wenzelm |
clarified signature: process_result timing from Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 13:14:08 +0100 |
wenzelm |
more accurate process_result in ML, corresponding to Process_Result in Scala;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:23:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:00:58 +0100 |
wenzelm |
download as in Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 20:51:25 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 20:38:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:27:22 +0200 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 14:29:49 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2017 14:22:51 +0200 |
wenzelm |
clarified signature according to Scala version;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
| Tue, 18 Aug 2015 16:08:47 +0200 |
wenzelm |
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
|
file |
diff |
annotate
|
| Tue, 05 May 2015 16:25:26 +0200 |
wenzelm |
more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
|
file |
diff |
annotate
|