| Wed, 25 Jan 2023 20:38:38 +0100 | wenzelm | more operations for SSH.System; | changeset | files |
| Wed, 25 Jan 2023 15:26:23 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 25 Jan 2023 15:18:06 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 25 Jan 2023 14:58:34 +0100 | wenzelm | manage other Isabelle distributions via SSH; | changeset | files |
| Wed, 25 Jan 2023 14:51:13 +0100 | wenzelm | more operations for SSH.System; | changeset | files |
| Wed, 25 Jan 2023 13:38:26 +0100 | wenzelm | recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning; | changeset | files |
| Wed, 25 Jan 2023 13:16:43 +0100 | wenzelm | clarified parameters (again); | changeset | files |