[isabelle-dev] Isabelle release
nipkow at in.tum.de
Fri Jan 7 10:30:08 CET 2011
I like the wine connection! Not just French wines, but also Australian
ones, and German Rieslings come to mind. Not sure though how the UK fits
in, at least not yet, although global warming will fix that in a few
Rafal Kolanski schrieb:
> I think the yearly naming convention has a rustic charm about it, kind
> of like french wines. We can all sit down one day and have a big
> discussion which year was the best vintage. Reminisce about the more
> intense full-bodied flavour of the second batch of 2009, which is lovely
> in small sips, but can go a bit awry when large gulps are involved... or
> the effect on the palate of annually increasing Scala overtones; it
> shall be grand!
> On a more serious note, +1 for calling it Isabelle 2011.
> Rafal Kolanski.
> On 07/01/11 20:00, 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.
>> Or dispense with year numbers entirely.
>> Even Microsoft gave up on that idea for Windows.
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev