[isabelle-dev] Isabelle release
ballarin at in.tum.de
Thu Jan 6 23:54:30 CET 2011
>> 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 ;-))
More information about the isabelle-dev