| 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
|