Email Gateway (Aug 22 2022 at 14:46): Email Gateway (Aug 22 2022 at 14:46):From: Makarius <makarius@sketis.net>
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
Last updated: Nov 21 2024 at 12:39 UTC