Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-RC2 available for testing

Email Gateway (Aug 22 2022 at 12:18):

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

Isabelle2016-RC2 is now available for further testing:

http://isabelle.in.tum.de/website-Isabelle2016-RC2

This corresponds to the repository versions
https://bitbucket.org/isabelle_project/isabelle-release/commits/Isabelle2016-RC2
and https://bitbucket.org/isa-afp/afp-devel/commits/8fd4642c2afa

Summary of notable points:

• update of Poly/ML from repository, as it approaches its 5.6 release
• update to latest jdk-8u72 from Oracle
• less aggressive JVM GC options for improved stability
• more robust Isabelle plugin startup within jEdit
• fine-tuning of Isabelle symbol abbreviations (for completion)
• fine-tuning of some Isabelle/HOL libraries

After more than 3 weeks of testing, relatively few problems have been
exposed. This means there are no real problems left, or that the
majority of users have not switched to Isabelle2016-RC yet.

People who have tested earlier release candidates should upgrade now.
Local settings can be preserved by copying $ISABELLE_HOME_USER in a
suitable manner: renaming the last component of the directory name to
Isabelle2016-RC2 before starting the new version.

When discussing problems, observations, suggestions, etc. the mail subject
line should be changed to something informative (but the release candidate
number still given in the message body).

Makarius

Last updated: Nov 21 2024 at 12:39 UTC