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