[isabelle] Last call for testing Isabelle2016-1 release candidates

Dear Isabelle users,

after many weeks, we are slowly approaching the final release of

Please test http://isabelle.in.tum.de/website-Isabelle2016-1-RC4 now and
report remaining problems with it.

There will be one more release candidate (RC5) within the next few days.
Any changes for the release need to be sorted out before to go into that.


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