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-RC4 is now available for further testing, and regular use in
anticipation of official Isabelle2016:
http://isabelle.in.tum.de/website-Isabelle2016-RC4
This corresponds to the repository versions
https://bitbucket.org/isabelle_project/isabelle-release/commits/Isabelle2016-RC4
and https://bitbucket.org/isa-afp/afp-devel/commits/100836987bd3
Summary of notable points:
- more robust Sledgehammer preplay phase
- more reactive GUI updates
- minor tuning and polishing
After 5 weeks of testing, extremely few problems have been exposed. This
means we are converging to Isabelle2016 -- this is probably the last
release candidate before final lift-off.
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-RC4 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
Email Gateway (Aug 22 2022 at 12:50):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
This is also the time to wrap up last changes to the AFP before the 2016 release.
If anyone has something in the pipeline that should go in before the release, please let me know.
Cheers,
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Last updated: Apr 30 2024 at 01:06 UTC