On Fri, 7 Jan 2011, Lawrence Paulson wrote:
I'm afraid that I originated the custom of not always linking the
release name to the calendar year. The idea was to indicate that the new
release consisted of little more than patches from the previous one. So,
one option is to call it Isabelle 2009-3, which would mean that it is
still essentially the same as Isabelle2009. If that isn't the case, then
we should call it Isabelle2011.
To wrap up this impressive thread, it seems that "Isabelle2011" would
satisfy everybody, although for different reasons. Classical logic does
have some advantage after all :-)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
