[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