[isabelle-dev] Isabelle release
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