| Sat, 01 Jun 2024 15:11:46 +0200 | wenzelm | support bash via SSH; | changeset | files |
| Sat, 01 Jun 2024 15:03:13 +0200 | wenzelm | clarified comments; | changeset | files |
| Sat, 01 Jun 2024 14:56:24 +0200 | wenzelm | proper support for remote cwd; | changeset | files |
| Sat, 01 Jun 2024 14:33:38 +0200 | wenzelm | clarified context for (remote) bash scripts: export variables are optional, support cwd; | changeset | files |
| Sat, 01 Jun 2024 14:08:04 +0200 | wenzelm | more operations for SSH.System: bash_process and bash; | changeset | files |
| Sat, 01 Jun 2024 12:35:38 +0200 | wenzelm | unused; | changeset | files |
| Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | changeset | files |
| Fri, 31 May 2024 22:35:44 +0200 | wenzelm | minor performance tuning; | changeset | files |