isabelle: Changelog

wenzelm [Sun, 27 Jul 2025 13:49:05 +0200] rev 82903

clarified signature;

haftmann [Thu, 24 Jul 2025 17:46:29 +0200] rev 82902

clarified code setup

haftmann [Thu, 24 Jul 2025 16:44:52 +0200] rev 82901

moved / rearranged lemma

haftmann [Wed, 23 Jul 2025 13:22:58 +0200] rev 82900

eliminate code drop: declarations where none needed

haftmann [Wed, 23 Jul 2025 13:22:51 +0200] rev 82899

internal setting to identify pointless code drop: declarations

wenzelm [Wed, 23 Jul 2025 14:53:21 +0200] rev 82898

clarified colors, following d6a14ed060fb;

wenzelm [Wed, 23 Jul 2025 13:21:52 +0200] rev 82897

more comments;

wenzelm [Wed, 23 Jul 2025 13:10:34 +0200] rev 82896

tuned;

wenzelm [Wed, 23 Jul 2025 13:05:50 +0200] rev 82895

tuned;

wenzelm [Tue, 22 Jul 2025 12:02:53 +0200] rev 82894

back to more basic defaults, independently on the accidental L&F: e.g. relevant for editor_style=false, and session_graph.pdf;

isabelle