[isabelle-dev] The next Isabelle release

[Makarius]

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