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:


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