[isabelle-dev] Isabelle release

[Makarius]

On Fri, 16 Oct 2009, Makarius wrote:

> Dear Isabelle contributors,
>
> we need to approach the next official Isabelle release.  The basic plan 
> is to get things done this fall, which means there are only 2-3 weeks 
> left for substantial changes.  After that there will be a few more weeks 
> for polishing and fine-tuning -- this phase becomes longer and longer as 
> the system gets more complex.
>
> Now is the time to finish things and put them into a state for end-users 
> out there.  If there are still major things waiting in your pipeline, 
> please say so.

This is already from one month ago.  Is there anything left in anybody's 
pipeline?  I would like to freeze the next few days (although it is 
unusually warm for November in these parts).


 	Makarius