isabelle: Changelog

wenzelm [Thu, 18 Apr 2024 13:06:48 +0200] rev 80136

back to post-release mode -- after fork point;

wenzelm [Thu, 18 Apr 2024 15:20:24 +0200] rev 80135

merged

wenzelm [Thu, 18 Apr 2024 11:39:51 +0200] rev 80134

Added tag Isabelle2024-RC2 for changeset ef2134570abb

paulson <lp15@cam.ac.uk> [Thu, 18 Apr 2024 13:07:34 +0100] rev 80133

Acknowledgement of Ata Keskin for his Martingales material

wenzelm [Wed, 17 Apr 2024 23:22:32 +0200] rev 80132

merged

wenzelm [Wed, 17 Apr 2024 23:12:21 +0200] rev 80131

update to jdk-21.0.3; enforce rebuild of Isabelle/ML and Isabelle/Scala;

paulson [Wed, 17 Apr 2024 22:07:21 +0100] rev 80130

merged

paulson <lp15@cam.ac.uk> [Wed, 17 Apr 2024 22:07:07 +0100] rev 80129

Tidied up horrible archaic proofs

wenzelm [Wed, 17 Apr 2024 21:20:31 +0200] rev 80128

clarified signature;

Kevin Kappelmann <kevin.kappelmann@tum.de> [Wed, 17 Apr 2024 15:04:27 +0200] rev 80127

make adhoc_overloading respect type constraints

isabelle