Email Gateway (Aug 22 2022 at 12:17): Email Gateway (Aug 22 2022 at 12:17):From: Makarius <makarius@sketis.net>
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.)
Makarius
Last updated: Apr 19 2024 at 16:20 UTC