isabelle: Changelog

desharna [Wed, 08 Jan 2025 15:00:35 +0100] rev 81748

merged

desharna [Wed, 08 Jan 2025 14:51:32 +0100] rev 81747

tuned Sledgehammer caching

Lukas Bartl [Mon, 23 Dec 2024 19:38:16 +0100] rev 81746

Rename "suggest_of" to "instantiate"

nipkow [Wed, 08 Jan 2025 05:38:13 +0100] rev 81745

merged

nipkow [Wed, 08 Jan 2025 05:37:40 +0100] rev 81744

added lemmas

wenzelm [Tue, 07 Jan 2025 22:07:46 +0100] rev 81743

discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);

wenzelm [Tue, 07 Jan 2025 21:39:38 +0100] rev 81742

more markup, notaly for LaTeX output: treat record fields as quasi-consts;

wenzelm [Tue, 07 Jan 2025 20:47:42 +0100] rev 81741

tuned: more direct string comparison (see also 6e25f82056ad, where the explanation was actually wrong: about fast_string_ord instead of string_ord);

wenzelm [Tue, 07 Jan 2025 20:32:15 +0100] rev 81740

update release name;

wenzelm [Tue, 07 Jan 2025 15:28:11 +0100] rev 81739

Added tag Isabelle2025-RC0 for changeset bcb793b951c0

isabelle