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