isabelle: Changelog

wenzelm [Sun, 29 Oct 2023 20:14:46 +0100] rev 78861

afford multiple tests on fast machines (see also edb4faf666c9 and 2a26d423d9fb); proper history_base for ARM;

wenzelm [Sun, 29 Oct 2023 19:42:46 +0100] rev 78860

performance tuning: parallel and incremental update of build_log_database;

wenzelm [Sun, 29 Oct 2023 18:49:42 +0100] rev 78859

performance tuning: more careful database access;

wenzelm [Sun, 29 Oct 2023 11:57:01 +0100] rev 78858

clarified message;

wenzelm [Sun, 29 Oct 2023 11:49:33 +0100] rev 78857

tuned signature;

wenzelm [Sun, 29 Oct 2023 11:39:17 +0100] rev 78856

tuned;

wenzelm [Sat, 28 Oct 2023 19:13:02 +0200] rev 78855

prefer old-style import "=>";

wenzelm [Sat, 28 Oct 2023 17:35:26 +0200] rev 78854

merged

wenzelm [Thu, 26 Oct 2023 22:44:31 +0200] rev 78853

redundant (see also 3069da1743bc);

wenzelm [Thu, 26 Oct 2023 22:20:22 +0200] rev 78852

removed obsolete table (see also 6acd1a2bd146);

isabelle