[isabelle-dev] Isabelle release

[Clemens Ballarin]

>> I think a release date of January 2011 still justifies to call the  
>> release "Isabelle2010".
>
> Why would we want to, though?

I suppose Makarius suggested this to be able to call the release due  
at the end of the year 2011 rather than 2011-1.

> Not that it's that important (which makes it all the easier to have  
> long discussions about it ;-))

Indeed.

Clemens