[isabelle-dev] Isabelle release

Clemens Ballarin 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 mailing list