On Tue, Jun 8, 2010 at 3:12 AM, Makarius <[email protected]> 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 _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
