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
Weird Warning
just my twopenn'orth
cheers
chris
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).
Cheers,
Gerwin
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
