Email Gateway (Aug 18 2022 at 19:44): Email Gateway (Aug 18 2022 at 19:44):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
official Isabelle2012 will be rolled-out next week. Release candidate #3
is now available here:
http://isabelle.in.tum.de/website-Isabelle2012-RC3
The microscopic changes compared to RC1 and RC2 can be seen here
http://isabelle.in.tum.de/repos/isabelle-release
This is the last chance to report any problems before the official release
of Isabelle2012.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC