isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Tue, 19 Dec 2023 18:51:32 +0100] rev 79295

restore benchmark requirement heaps properly;

Fabian Huch <huch@in.tum.de> [Tue, 19 Dec 2023 18:31:05 +0100] rev 79294

continue build while waiting for updated schedule;

Fabian Huch <huch@in.tum.de> [Tue, 19 Dec 2023 18:28:35 +0100] rev 79293

clarified signature;

Fabian Huch <huch@in.tum.de> [Tue, 19 Dec 2023 17:26:15 +0100] rev 79292

added start-up sequence for benchmark with requirements;

Fabian Huch <huch@in.tum.de> [Fri, 15 Dec 2023 10:48:05 +0100] rev 79291

use single-threaded session build as benchmark (using ZF-Constructible);

Fabian Huch <huch@in.tum.de> [Thu, 14 Dec 2023 13:14:25 +0100] rev 79290

separate build processes for scheduler and scheduled;

Fabian Huch <huch@in.tum.de> [Thu, 14 Dec 2023 13:10:01 +0100] rev 79289

add delay and limit options for when schedule is considered outdated;

Fabian Huch <huch@in.tum.de> [Thu, 14 Dec 2023 13:03:33 +0100] rev 79288

proper closing order;

isabelle