[isabelle] Isabelle2012-RC3 available for testing

Dear Isabelle users,

official Isabelle2012 will be rolled-out next week. Release candidate #3 is now available here:


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.


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