wenzelm [Sat, 01 Jun 2024 14:56:24 +0200] rev 80228
proper support for remote cwd;
wenzelm [Sat, 01 Jun 2024 14:33:38 +0200] rev 80227
clarified context for (remote) bash scripts: export variables are optional, support cwd;
wenzelm [Sat, 01 Jun 2024 14:08:04 +0200] rev 80226
more operations for SSH.System: bash_process and bash;
wenzelm [Sat, 01 Jun 2024 12:35:38 +0200] rev 80225
unused;
wenzelm [Sat, 01 Jun 2024 12:31:06 +0200] rev 80224
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
wenzelm [Fri, 31 May 2024 22:35:44 +0200] rev 80223
minor performance tuning;
wenzelm [Fri, 31 May 2024 22:19:31 +0200] rev 80222
merged
wenzelm [Fri, 31 May 2024 22:10:11 +0200] rev 80221
minor performance tuning: save approx. 70ms per SSH command;
wenzelm [Fri, 31 May 2024 21:39:01 +0200] rev 80220
minor performance tuning: save approx. 70ms per SSH command;
wenzelm [Fri, 31 May 2024 21:17:01 +0200] rev 80219
minor performance tuning: save approx. 70ms per SSH test command;