| 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 |
| Sun, 03 Sep 2023 12:17:41 +0200 | wenzelm | tuned message; | changeset | files |