Email Gateway (Aug 22 2022 at 14:28): Email Gateway (Aug 22 2022 at 14:28):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
as December is approaching, we are getting more and more close to the
final release of Isabelle2016-1. The present version for testing is
http://isabelle.in.tum.de/website-Isabelle2016-1-RC4. There are some
important last-minute changes wrt. RC3:
1. Prover IDE: more aggressive flushing of machine-generated input
2. Sledgehammer: MaSh is faster and less likely to hang seemingly forever
3. fine-tuning of Isabelle/LaTeX typesetting
The website and documentation is now fully up-to-date.
The corresponding repository versions of Isabelle and AFP are
https://bitbucket.org/isabelle_project/isabelle-release/commits/a67edee6b1fa
and https://bitbucket.org/isa-afp/afp-devel/commits/fa459e75b503
At this stage, Isabelle release candidates are already sufficiently
consolidated to be ready for everyday use. Adapting your applications
now gives a unique chance for feedback before the release becomes
unchangeable.
When discussing problems, observations, suggestions, etc. the mail
subject line should be changed to something informative, and the
particular Isabelle version given in the message body.
Makarius
Last updated: Apr 19 2024 at 20:15 UTC