isabelle: Changelog

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:20:42 +0100] rev 82039

tuned output;

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 20:46:01 +0100] rev 82038

tuned: more standard;

wenzelm [Sat, 01 Feb 2025 22:49:33 +0100] rev 82037

merged;

wenzelm [Sat, 01 Feb 2025 22:41:05 +0100] rev 82036

more NEWS;

wenzelm [Sat, 01 Feb 2025 22:13:49 +0100] rev 82035

updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;

wenzelm [Sat, 01 Feb 2025 20:05:06 +0100] rev 82034

update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 19:29:54 +0100] rev 82033

tuned whitespace;

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 19:23:08 +0100] rev 82032

documentation about Find_Facts;

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 18:29:07 +0100] rev 82031

more standard: let OS pick random port by default;

Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 15:00:39 +0100] rev 82030

clarified platforms; update to hugo-0.142.0;

isabelle