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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
