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



Dear Isabelle users,

after many weeks, we are slowly approaching the final release of
Isabelle2016-1.

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.


	Makarius




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