[isabelle-dev] Isabelle release
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