| Sun, 10 Mar 2024 22:42:27 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 10 Mar 2024 18:01:14 +0100 | wenzelm | more robust init_built: get_build_id and start_build within the same transaction; | changeset | files |
| Sun, 10 Mar 2024 17:33:44 +0100 | wenzelm | tuned: remove redundant guard; | changeset | files |
| Sun, 10 Mar 2024 17:30:23 +0100 | wenzelm | maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid; | changeset | files |
| Sun, 10 Mar 2024 14:20:20 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 10 Mar 2024 13:32:15 +0100 | wenzelm | clarified signature: init_state vs. init_unsynchronized; | changeset | files |
| Sun, 10 Mar 2024 12:03:46 +0100 | wenzelm | more thorough "isabelle build_process -C -r -f"; | changeset | files |
| Sun, 10 Mar 2024 12:03:13 +0100 | wenzelm | more operations; | changeset | files |