Email Gateway (Aug 22 2022 at 12:50): Email Gateway (Aug 22 2022 at 12:50):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
Isabelle2016-RC3 is now available for further testing, and regular use in
anticipation of official Isabelle2016:
http://isabelle.in.tum.de/website-Isabelle2016-RC3
This corresponds to the repository versions
https://bitbucket.org/isabelle_project/isabelle-release/commits/Isabelle2016-RC3
and https://bitbucket.org/isa-afp/afp-devel/commits/138306721319
Summary of notable points:
- update to Poly/ML 5.6 release (see https://github.com/polyml/polyml/releases/tag/v5.6)
- update of Isabelle/jEdit manual (notably Isabelle/ML debugging)
- avoid waste of parallel CPU time in Par_List.map (Isabelle/Scala)
- support @{url} with single quotes
After 1 month of testing, very few problems have been exposed. This means
there are no real problems left, or that users have not switched to
Isabelle2016-RC yet.
People who have used 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-RC3 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: Apr 20 2024 at 04:19 UTC