[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Fri Jan 7 13:59:20 CET 2011


On Fri, 7 Jan 2011, Rafal Kolanski wrote:

> Taking a page from a successful marketing campaign, we could also adopt 
> a variation on the Ubuntu way of naming things, two numbers: year and 
> month. So this would be Isabelle 10.01.
>
> We can even add silly names like Anomalous Assumption, Bound Beta, 
> Circular Coinduction, Dramatic Datatype, Epic Elimination, etc.
>
> I thought this might be a bit too silly to send to the dev list, but a 
> third party encouraged me to do so anyway :)

Funny idea :-) :-)

I am a user of Ubuntu myself, but never know which version it is, because 
both the numbers and the names are hard to remember for me.


 	Makarius



More information about the isabelle-dev mailing list