[isabelle-dev] Towards the next Isabelle release

Brian Huffman brianh at cs.pdx.edu
Tue Jun 8 15:27:24 CEST 2010

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

More information about the isabelle-dev mailing list