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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
