[isabelle-dev] Release reminder

Makarius makarius at sketis.net
Tue Aug 9 15:26:40 CEST 2011

Returning from several weeks of traveling and conferencing, I have noticed 
that we have already accumulated 6 months after Isabelle2011.  We should 
start thinking towards the next release, maybe early Fall (this year's
Summer has not even started in Europe yet, so it is hard to imagine when 
or how it will actually end.)

Right now I am in the process to get some idea about the loose ends and 
issues that have accumulated in the past few months.  I also need to see 
what are the essential things for the strategically important 
Isabelle/jEdit Prover IDE that are relevant for the release.

Since August is the canonical time for vacation for many people it is 
probably better to get into more concrete discussions in 3-4 weeks from 
now, but people can already start thinking about their own areas of 
responsibility concerning consolidation for the release.


More information about the isabelle-dev mailing list