| Sat, 14 Jun 2025 14:31:54 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2025 22:23:59 +0200 |
wenzelm |
tuned: prefer explicit Bash.exports;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2025 17:40:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 23:13:35 +0200 |
wenzelm |
clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
|
file |
diff |
annotate
|
| Tue, 11 Jun 2024 16:37:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:03:20 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 02 Jun 2024 13:36:24 +0200 |
wenzelm |
more robust: avoid crash of sleep() for negative time;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 21:49:50 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 15:03:13 +0200 |
wenzelm |
clarified comments;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 14:56:24 +0200 |
wenzelm |
proper support for remote cwd;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 14:33:38 +0200 |
wenzelm |
clarified context for (remote) bash scripts: export variables are optional, support cwd;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 22:10:11 +0200 |
wenzelm |
minor performance tuning: save approx. 70ms per SSH command;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 21:39:01 +0200 |
wenzelm |
minor performance tuning: save approx. 70ms per SSH command;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 20:46:51 +0200 |
wenzelm |
suport Isabelle_System.bash via SSH.System;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 12:06:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2022 10:46:47 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 16:53:40 +0200 |
wenzelm |
more robust: client could have terminated already;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2021 12:04:55 +0200 |
wenzelm |
clarified process description;
|
file |
diff |
annotate
|
| Thu, 19 Aug 2021 12:01:57 +0200 |
wenzelm |
tuned;
|
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
|
| Sat, 07 Aug 2021 21:25:47 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 26 Jul 2021 13:04:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2021 13:46:42 +0200 |
wenzelm |
clarified modules and signatures;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 15:35:39 +0200 |
wenzelm |
clarified package: towards stand-alone setup;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 11:35:07 +0200 |
wenzelm |
clarified signature: prefer Java interfaces;
|
file |
diff |
annotate
|