[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Fri Jan 7 11:04:45 CET 2011


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



More information about the isabelle-dev mailing list