[isabelle-dev] Isabelle release

Makarius 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 mailing list