[isabelle-dev] Isabelle release
brianh at cs.pdx.edu
Wed Nov 18 15:57:54 CET 2009
I have some long-planned changes to the HOLCF domain package that are
now nearly complete; since there are some users waiting on some
upcoming features, it would be a shame for them to have to wait
another release cycle.
I will require more than just a few days, though. Probably if I work
hard I can finish in a week or so.
On Wed, Nov 18, 2009 at 3:14 AM, Makarius <makarius at sketis.net> wrote:
> 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).
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
More information about the isabelle-dev