[isabelle-dev] Isabelle release
gerwin.klein at nicta.com.au
Fri Jan 7 23:56:36 CET 2011
On 07/01/2011, at 11:59 PM, Makarius wrote:
> 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 quite like it :-) (ok, I was the encouraging third party).
We pretty much agreed on Isabelle 2011, but we could have a code name too.
Why not ring in the decade with something like "Isabelle 2011, Affirmative Abstraction"?
It's easy to keep this going for at least the next 10 years, and if we're still not bored after Z, we can start over with new names. In permanent procrastination, here some more vacuous variations..
Perfect Proof (Pointless Perfection? ;-))
> 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.
I don't usually remember the numbers, but often the name (still running Karmic Koala).
More information about the isabelle-dev