[isabelle] Isabelle2012-RC3 available for testing



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





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