isabelle: Changelog

wenzelm [Fri, 16 May 2025 20:44:51 +0200] rev 82629

merged

wenzelm [Fri, 16 May 2025 20:31:52 +0200] rev 82628

clarified tooltip colors;

wenzelm [Fri, 16 May 2025 12:41:42 +0200] rev 82627

more standard color properties, following org.gjt.sp.util.SyntaxUtilities.getColorHexString();

wenzelm [Fri, 16 May 2025 12:10:49 +0200] rev 82626

tuned colors;

wenzelm [Thu, 15 May 2025 22:55:29 +0200] rev 82625

explicit support for dark GUI themes in Isabelle/jEdit;

wenzelm [Wed, 14 May 2025 11:31:23 +0200] rev 82624

simplified structure of patches;

paulson <lp15@cam.ac.uk> [Thu, 15 May 2025 14:37:19 +0100] rev 82623

Added two lemmas; renamed legacy_Complex_simps

nipkow [Mon, 12 May 2025 19:20:34 +0200] rev 82622

contributor

nipkow [Mon, 12 May 2025 19:19:41 +0200] rev 82621

added simproc for cont

Lukas Bartl <lukas.bartl@uni-a.de> [Mon, 12 May 2025 13:02:52 +0200] rev 82620

clarify Sledgehammer instantiations without preplay (dont_preplay option and tactic provers)

isabelle