[isabelle-dev] Towards the next Isabelle release
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?
More information about the isabelle-dev