isabelle: Changelog

wenzelm [Mon, 20 Feb 2023 21:04:49 +0100] rev 77318

clarified signature: more concise operations;

wenzelm [Mon, 20 Feb 2023 17:13:19 +0100] rev 77317

clarified modules: NUMA is managed by Build_Process;

wenzelm [Mon, 20 Feb 2023 17:10:22 +0100] rev 77316

tuned signature;

wenzelm [Mon, 20 Feb 2023 16:36:03 +0100] rev 77315

clarified signature: move all parameters into Build_Process.Context;

wenzelm [Mon, 20 Feb 2023 11:38:21 +0100] rev 77314

clarified signature;

wenzelm [Mon, 20 Feb 2023 11:34:31 +0100] rev 77313

more elementary data structures, to fit better to SQL database;

wenzelm [Mon, 20 Feb 2023 10:51:16 +0100] rev 77312

clarified signature (see also 68a7ad1385bc);

wenzelm [Mon, 20 Feb 2023 10:42:07 +0100] rev 77311

clarified signature;

wenzelm [Mon, 20 Feb 2023 10:29:45 +0100] rev 77310

clarified modules; clarified signature;

nipkow [Mon, 20 Feb 2023 13:59:42 +0100] rev 77309

merged

isabelle