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