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
