Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS)


view this post on Zulip Email Gateway (Jan 26 2021 at 17:47):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

Isabelle2021-RC3 is already quite stable for actual applications and we have a
corresponding AFP version at https://foss.heptapod.net/isa-afp/afp-2021

Early adopters should especially keep an eye on Java. Does it work smoothly?
Is the GUI rendering right on all platforms?

Isabelle2021-RC3 uses Java 15.0.1 (Oct-2021), the "Medium Term Support"
version from Azul. There is now an update to Java 15.0.2+7 (Jan-2021).

In contrast, Java 11 is still the official "Long Term Support" branch,
presently at version 11.0.10+9 (Jan-2021). The next LTS version is Java 17,
which is scheduled for Sep/Oct-2021 and thus relevant for the second release
this years, approx. 10 months from now.

I can mentally toss a coin, but it would be better to have genuine reasons for
either Java 11 vs. Java 15, e.g. features or problems observed in real work.

People who want to test jdk-11.0.10+9 with Isabelle2021-RC3 can do it like this:

* edit $ISABELLE_HOME_USER/etc/settings and add the line:

init_component "$HOME/.isabelle/contrib/jdk-11.0.10+9"

* run on command-line:

Isabelle2021-RC3/bin/isabelle components -a
Isabelle2021-RC3/bin/isabelle jedit

(on macOS the executable location is
Isabelle2021-RC3.app/Isabelle/bin/isabelle)

* check the Java version in Help / About jEdit ...

Makarius

view this post on Zulip Email Gateway (Jan 27 2021 at 19:17):

From: Makarius <makarius@sketis.net>
On 26/01/2021 18:46, Makarius wrote:

Isabelle2021-RC3 uses Java 15.0.1 (Oct-2021), the "Medium Term Support"
version from Azul. There is now an update to Java 15.0.2+7 (Jan-2021).

In contrast, Java 11 is still the official "Long Term Support" branch,
presently at version 11.0.10+9 (Jan-2021). The next LTS version is Java 17,
which is scheduled for Sep/Oct-2021 and thus relevant for the second release
this years, approx. 10 months from now.

For proper testing, I have produced an Isabelle component jdk-15.0.2+7: it can
be used as described below, replacing jdk-11.0.10+9 by jdk-15.0.2+7.

People who want to test jdk-11.0.10+9 with Isabelle2021-RC3 can do it like this:

* edit $ISABELLE_HOME_USER/etc/settings and add the line:

init_component "$HOME/.isabelle/contrib/jdk-11.0.10+9"

* run on command-line:

Isabelle2021-RC3/bin/isabelle components -a
Isabelle2021-RC3/bin/isabelle jedit

(on macOS the executable location is
Isabelle2021-RC3.app/Isabelle/bin/isabelle)

* check the Java version in Help / About jEdit ...

Makarius

view this post on Zulip Email Gateway (Feb 01 2021 at 15:09):

From: Makarius <makarius@sketis.net>
Isabelle2021-RC4 uses current Java 15.0.2 (Jan-2021). Reading the cumulative
release notes after Java 11, the present state looks like a reasonable
stepping stone towards the next "LTS" version: Java 17 in Sep/Oct-2021.

Makarius


Last updated: Jul 15 2022 at 23:21 UTC