| Mon, 06 Mar 2023 10:08:53 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 06 Mar 2023 09:50:48 +0100 | wenzelm | less verbosity, amending 3bc49507bae5; | changeset | files |
| Mon, 06 Mar 2023 09:46:41 +0100 | wenzelm | tuned comments; | changeset | files |
| Mon, 06 Mar 2023 09:37:02 +0100 | wenzelm | tuned signature: avoid totally adhoc overriding; | changeset | files |
| Mon, 06 Mar 2023 09:32:18 +0100 | wenzelm | separate static build_uuid from dynamic worker_uuid, to allow multiple worker processes participate in one build process; | changeset | files |
| Sun, 05 Mar 2023 20:41:45 +0100 | wenzelm | enforce rebuild of Isabelle/ML, after various changes to build database management; | changeset | files |
| Sun, 05 Mar 2023 20:41:14 +0100 | wenzelm | more detailed table "isabelle_build_serial": allow to monitor activity of build_process instances; | changeset | files |
| Sun, 05 Mar 2023 19:33:01 +0100 | wenzelm | tuned output; | changeset | files |