[isabelle] Isabelle2012-RC2 available for testing
Dear Isabelle users,
official Isabelle2012 will be rolled-out before the end of the month.
Release candidate #2 is now available here:
The main difference to RC1 is the slightly improved Windows setup, to
initialize Cygwin more thoroughly and report startup problems of the
Isabelle session more explicitly.
Please try it on your Linux, Mac OS X, Windows system, and report any
problems either on the mailing list or to me personally.
Now is the opportunity to sort out the remaining problems. After the
official release is shipped, it remains unchanged until the next release
This archive was generated by a fusion of
Pipermail (Mailman edition) and