isabelle: Changelog

wenzelm [Sun, 05 Nov 2023 19:32:01 +0100] rev 78905

tuned;

wenzelm [Sun, 05 Nov 2023 19:28:54 +0100] rev 78904

tuned;

wenzelm [Sat, 04 Nov 2023 20:28:07 +0100] rev 78903

enable multi-builds (again, see also 0c7419d3dd59);

wenzelm [Sat, 04 Nov 2023 20:10:17 +0100] rev 78902

explore history more thoroughly;

wenzelm [Sat, 04 Nov 2023 17:19:22 +0100] rev 78901

tuned signature;

wenzelm [Sat, 04 Nov 2023 17:29:49 +0100] rev 78900

clarified "recent" time: days <= 0 means infinity (no constraint);

wenzelm [Sat, 04 Nov 2023 16:56:54 +0100] rev 78899

tuned whitespace;

wenzelm [Sat, 04 Nov 2023 16:48:51 +0100] rev 78898

proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda);

wenzelm [Sat, 04 Nov 2023 16:45:16 +0100] rev 78897

clarified signature;

wenzelm [Sat, 04 Nov 2023 16:31:02 +0100] rev 78896

tuned output;

isabelle