isabelle: Changelog

wenzelm [Wed, 21 May 2025 14:33:57 +0200] rev 82646

tuned: more antiquotations;

wenzelm [Wed, 21 May 2025 13:50:40 +0200] rev 82645

more concise Isabelle/ML; some examples to test the simproc;

haftmann [Wed, 21 May 2025 10:30:35 +0200] rev 82644

reordered signature

haftmann [Wed, 21 May 2025 10:30:34 +0200] rev 82643

prefer Simplifier over bootstrap-only Raw_Simplifier

haftmann [Wed, 21 May 2025 10:30:33 +0200] rev 82642

Simplifier is a superset of Raw_Simplifier

haftmann [Wed, 21 May 2025 10:30:07 +0200] rev 82641

disambiguate function name wrt. structures Simplifier vs. Raw_Simplifier

haftmann [Wed, 21 May 2025 10:30:06 +0200] rev 82640

clarifed name of structure

wenzelm [Tue, 20 May 2025 20:05:50 +0200] rev 82639

update jedit component;

wenzelm [Tue, 20 May 2025 19:59:28 +0200] rev 82638

tuned GUI for macOS (see also https://www.formdev.com/flatlaf/macos);

wenzelm [Tue, 20 May 2025 17:02:10 +0200] rev 82637

tuned NEWS;

isabelle