| Thu, 10 Aug 2023 20:30:37 +0200 | wenzelm | more thorough ML_Heap.restore: include ancestors; prefer simultaneous ML_Heap.get_entries: just one database access for heap hierarchy; | file | diff | annotate |
| Thu, 10 Aug 2023 19:48:39 +0200 | wenzelm | more robust wrt. undefined state; | file | diff | annotate |
| Thu, 10 Aug 2023 12:26:20 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Thu, 10 Aug 2023 12:15:40 +0200 | wenzelm | more robust ancestor_results: avoid total existence failure after build_process has crashed elsewhere; | file | diff | annotate |
| Sun, 23 Jul 2023 14:51:07 +0200 | wenzelm | support for Build_Cluster.Session.init (rsync + Admin/init); | file | diff | annotate |
| Sat, 22 Jul 2023 13:31:55 +0200 | wenzelm | clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster; | file | diff | annotate |