[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 after it.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.