[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