[isabelle-dev] The next Isabelle release

Makarius makarius at sketis.net
Fri Apr 18 17:24:05 CEST 2008

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: 


More information about the isabelle-dev mailing list