Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-RC2 available for testing


view this post on Zulip 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:

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: Mar 28 2024 at 08:18 UTC