[isabelle] Isabelle2016-RC5 available

Dear Isabelle users,

Isabelle2016-RC5 is now available for regular use in anticipation of official Isabelle2016:


This corresponds to the repository versions https://bitbucket.org/isabelle_project/isabelle-release/commits/Isabelle2016-RC5 and https://bitbucket.org/isa-afp/afp-devel/commits/7a23f634aef3

Notable changes:

   - isar-ref: more material on Isar language updates

   - Poly/ML: hardwired bash in OS.Process.system to help
     Debian-testing-unstable with exported shell functions

After 6 weeks of testing by reletively few people, very few problems have been exposed. This is the last chance to point out problems, before Isabelle2016 becomes final next week.

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-RC5 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).


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