[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:

  http://isabelle.in.tum.de/website-Isabelle2012-RC2

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.


	Makarius





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