| Sun, 03 Sep 2023 16:19:58 +0200 | wenzelm | prefer quiet mode: potentially more robust ssh connection, e.g. when master closes; | changeset | files |
| Sun, 03 Sep 2023 16:18:06 +0200 | wenzelm | support "isabelle build_worker -q"; | changeset | files |
| Sun, 03 Sep 2023 13:38:56 +0200 | wenzelm | support "isabelle build_process -r -f"; | changeset | files |
| Sun, 03 Sep 2023 13:23:51 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Sep 2023 12:52:48 +0200 | wenzelm | clarified output; | changeset | files |
| Sun, 03 Sep 2023 12:39:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Sep 2023 12:30:44 +0200 | wenzelm | clarified signature: removed ununsed option; | changeset | files |