[isabelle-dev] Towards the next Isabelle release

[Brian Huffman]

On Tue, Jun 8, 2010 at 3:12 AM, Makarius <makarius at sketis.net> wrote:
> The current status is as follows:
>
>  * isatest refers to http://isabelle.in.tum.de/repos/isabelle-release
>    until final shipment of Isabelle2009-2

Why the name "Isabelle2009-2" ? I expected "Isabelle2010" -- the
current year is 2010, after all.

Or will the year-part of the name only be incremented for "major" changes?

- Brian