[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Fri Oct 16 11:35:05 CEST 2009

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.


More information about the isabelle-dev mailing list