Email Gateway (Jun 02 2026 at 19:11): Email Gateway (Jun 02 2026 at 19:11):From: Makarius <makarius@sketis.net>
With Isabelle/895b651beabb we are on jdk-21.0.11, which alone is not very
exciting: it is a routine update by Azul.
Two details are notable, though:
(1) The Windows version has been built from sources, after applying a small
patch (jdk-21.0.11/x86_64-windows.patch) to improve accessibility. This is the
first time we build JDK from scratch for Isabelle. It turned out actually
quite simple, much simpler than building VSCodium, for example. So this might
encourage more patches in the future, also for other platforms.
(2) The macOS version was broken in the first attempt, and instead of
duplicating 1 GiB tar.gz / 1.7 GiB directory content, I have replaced the bad
version non-monotonically. This can lead to confusion, if someone happened to
run Admin/init or "isabelle components -a" within a time-window of approx.
2-3h before 21:00 Royal Bavarian Time. In that case, local
$HOME/.isabelle/contrib/jdk-21.0.11 and the corresponding .tar.gz need to be
deleted, and Admin/init run again.
Makarius
Email Gateway (Jun 02 2026 at 19:32):From: Makarius <makarius@sketis.net>
On 02/06/2026 21:10, Makarius wrote:
With Isabelle/895b651beabb we are on jdk-21.0.11, which alone is not very
exciting: it is a routine update by Azul.
Another side-remark: We are still on the old JDK 21 LTS branch because we are
stuck with an old Scala LTS version scala-3.3.4 from Sep-2024 that has not
been adapted to newer JDK versions yet, like the current JDK 25 LTS.
After scala-3.3.4 there is a problem with inner Java classes that are
extended/redefined in Scala. I have submitted a ticket in Nov-2025
https://github.com/scala/scala3/issues/24507 --- that is still awaiting to be
shipped in a proper LTS release. The last one is scala-3.3.7 from 13-Oct-2025.
Makarius
Last updated: Jun 04 2026 at 18:19 UTC