[isabelle] Time for testing Isabelle2016-RC is now!

Dear Isabelle users,

just a reminder of the obvious: time for testing Isabelle2016-RC versions is now, before the final release, not after it.

We are presently at http://isabelle.in.tum.de/website-Isabelle2016-RC1 and and 1-3 more will be coming in the next few weeks.

Afterwards the release will be final and unchangeable, until a later release (usually 8-10 months in the future.)


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