[isabelle-dev] Isabelle release

Michael Norrish Michael.Norrish at nicta.com.au
Fri Jan 7 10:00:15 CET 2011

On 7/01/11 7:53 PM, Tobias Nipkow wrote:
> I don't see any good reason for the skewed naming scheme of 2009-x in
> 2010 or 2011. We should use the year that the release was made in,
> period. That avoids unproductie arguments on how major or minor a
> release is.

Or dispense with year numbers entirely.

Even Microsoft gave up on that idea for Windows.


More information about the isabelle-dev mailing list