[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Thu Jan 6 17:59:04 CET 2011

Bonne année à tous,

this is a reminder that we are approaching the next official Isabelle 
release. I've got myself caught into too many other tasks over Christmas 
vacation, and will now see how quick we can get a lift off.

If everybody else manages to wrap up until the beginning of next week, we 
have a good chance to release before the end of the month.

I think a release date of January 2011 still justifies to call the release 


More information about the isabelle-dev mailing list