[isabelle-dev] Towards the next official Isabelle release

Makarius makarius at sketis.net
Thu Nov 25 16:42:21 CET 2010


Dear all,

from the feedback that I've got about the question of the next official 
release, it looks like we can target mid January 2011.  This means all the 
big things need to converge until the end of 2010.

It is also a good opportinity to check NEWS and CONTRIBUTORS for missing 
items.


 	Makarius


More information about the isabelle-dev mailing list