[isabelle-dev] Isabelle release
c.sternagel at gmail.com
Sat Jan 8 00:44:16 CET 2011
On 01/07/2011 11:56 PM, Gerwin Klein wrote:
> 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
just my twopenn'orth
>> 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).
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev