| Fri, 31 May 2024 21:17:01 +0200 | wenzelm | minor performance tuning: save approx. 70ms per SSH test command; | changeset | files |
| Fri, 31 May 2024 20:46:51 +0200 | wenzelm | suport Isabelle_System.bash via SSH.System; | changeset | files |
| Fri, 31 May 2024 15:56:41 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 31 May 2024 15:38:28 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 31 May 2024 15:26:17 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 31 May 2024 14:17:28 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 29 May 2024 16:16:29 +0200 | wenzelm | obsolete: macOS 10.x is no longer supported (see also 059743bc8311); | changeset | files |
| Wed, 29 May 2024 16:08:17 +0200 | wenzelm | tuned tmp name; | changeset | files |
| Wed, 29 May 2024 16:06:07 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 May 2024 15:58:03 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 May 2024 15:51:15 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 29 May 2024 18:13:05 +0200 | nipkow | merged | changeset | files |