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