Re: [isabelle] Isabelle2013-RC3 available for testing



On Fri, 8 Feb 2013, Gottfried Barrow wrote:

So now, to fewer people, it's not a mystery. However, as time passes, there is the possibility that it will become, "canonical Isabelle humour".

I count this thread as part of carnival. Lets see if I manage to get Isabelle2013 ready for Ash Wednesday next week (there are always 2-3 days extra before final announcement).

Last orders can be made here as well:
https://bitbucket.org/isabelle_project/isabelle-release/issues


	Makarius





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