Dear Isabelle contributors, the next official release is likely to happen this spring, probably at the end of May or beginning of June. This means there are still some weeks to consolidate existing features, before the usual freezing period of 2-3 weeks before the actual release date.
As for myself, I will be absent for the next 3 weeks, working on the isar-ref and implementation manuals in a nice place near the south-western end of Europe: http://maps.google.com/?ie=UTF8&ll=36.831272,-8.300171&spn=1.77186,2.142334&t=h&z=9 Makarius
