Tue, 14 Mar 2023 20:31:30 +0100 enforce rebuild of Isabelle/ML;
wenzelm [Tue, 14 Mar 2023 20:31:30 +0100] rev 77666
enforce rebuild of Isabelle/ML;
Tue, 14 Mar 2023 20:31:08 +0100 more operations;
wenzelm [Tue, 14 Mar 2023 20:31:08 +0100] rev 77665
more operations;
Tue, 14 Mar 2023 20:25:48 +0100 more specific vacuum operation, which is also relevant to PostgreSQL;
wenzelm [Tue, 14 Mar 2023 20:25:48 +0100] rev 77664
more specific vacuum operation, which is also relevant to PostgreSQL;
Tue, 14 Mar 2023 20:06:37 +0100 tuned signature: removed redundant argument;
wenzelm [Tue, 14 Mar 2023 20:06:37 +0100] rev 77663
tuned signature: removed redundant argument;
Tue, 14 Mar 2023 20:04:48 +0100 tuned signature;
wenzelm [Tue, 14 Mar 2023 20:04:48 +0100] rev 77662
tuned signature;
Tue, 14 Mar 2023 20:01:05 +0100 proper build_uuid for Build_Process.Task: thus old entries are removed via prepare_database/clean_build;
wenzelm [Tue, 14 Mar 2023 20:01:05 +0100] rev 77661
proper build_uuid for Build_Process.Task: thus old entries are removed via prepare_database/clean_build;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip