[isabelle-dev] Isabelle release
makarius at sketis.net
Wed Nov 18 12:14:35 CET 2009
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).
More information about the isabelle-dev