isabelle: Changelog

blanchet [Wed, 13 Apr 2022 16:53:46 +0200] rev 75433

pass new option only to new version of E

desharna [Mon, 11 Apr 2022 14:01:17 +0200] rev 75432

merged

desharna [Sat, 09 Apr 2022 08:53:15 +0200] rev 75431

reused slice in Sledgehammer's minimizer

wenzelm [Sat, 09 Apr 2022 12:35:48 +0200] rev 75430

merged

wenzelm [Sat, 09 Apr 2022 12:29:39 +0200] rev 75429

revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;

wenzelm [Sat, 09 Apr 2022 12:10:17 +0200] rev 75428

merged

wenzelm [Sat, 09 Apr 2022 12:07:51 +0200] rev 75427

tuned --- avoid warnings in scala3;

wenzelm [Sat, 09 Apr 2022 12:03:56 +0200] rev 75426

tuned --- avoid redundant patterns;

wenzelm [Sat, 09 Apr 2022 12:02:38 +0200] rev 75425

avoid pattern-match warnings, notably in scala3;

wenzelm [Sat, 09 Apr 2022 11:56:48 +0200] rev 75424

proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

isabelle