[isabelle-dev] Isabelle release

Gerwin Klein gerwin.klein at nicta.com.au
Fri Jan 7 10:03:38 CET 2011

On 07/01/2011, at 8:00 PM, Michael Norrish wrote:

> 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.

I agree.

> Or dispense with year numbers entirely.
> Even Microsoft gave up on that idea for Windows.

Isabelle Vista Professional? ;-)


More information about the isabelle-dev mailing list