Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC3: update of Scala, but not Ope...


view this post on Zulip Email Gateway (Jan 24 2021 at 18:57):

From: Makarius <makarius@sketis.net>
A notable change is the update to current scala-2.13.4: it makes a big
difference compared to former scala-2.12.12.

Originally, I did not plan to update it for the release, but it will be
required for other projects based on Isabelle/Scala.

The underlying JDK is still jdk-15.0.1+9: I was hoping for an update this
week, following the Oracle announcement on 19-Jan-2021.

Nothing has happened on
https://www.azul.com/downloads/zulu-community/?package=jdk so far. Maybe
within a fews days or weeks ...

Makarius

view this post on Zulip Email Gateway (Jan 24 2021 at 21:00):

From: Makarius <makarius@sketis.net>
Looking once again, I now see jdk-11.0.10+9: maybe the jdk-15 update will come
really soon.

I am still unsure which one is best for Isabelle2021: I am trying to minimize
problems on macOS Big Sur in particular, but so far it all appears to be the same.

Makarius


Last updated: Dec 08 2021 at 08:24 UTC