Email Gateway (Jan 26 2021 at 17:47): 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
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
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: Jan 04 2025 at 20:18 UTC