[isabelle-dev] Isabelle release

Gerwin Klein 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..

Curious Confluence
Delicate Derivation
Elevated Evidence
Finite Foundation
Gratuitous Grammar
Helpful Hammer
Infinite Iteration
Jilted Judgement
Kindred Kernel
Ludicrous Lemma
Moody Method
Nifty Nominals
Obvious Oracle
Perfect Proof (Pointless Perfection? ;-))
Rewarding Reduction
Serendipitous Substitution
Tolerant Type
Thorough Theory
Unseen Unification
Viral Verification

> 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 mailing list