[isabelle] Isabelle2016-1-RC4 available for testing

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
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

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.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.