On Thu, 4 Apr 2013, Christian Urban wrote:
Could the reason be that more often than wanted the answer to
emails on the Isabelle mailing lists is:
"person ?X, you have no business here"
"any changes to ?X are restricted to exactly one person"
you are on the wrong mailing list (isabelle vs isabelle-dev)
you did not look up the history from ?X years ago
you did not follow conventions (usually about *informal*
conventions for theory names, ML-styles, source comments etc)
you better refer to changesets with [cryptic] hashes like dd6dd81381fb
this is not a bug, but a running gag
Maybe the latter answers might be more perceived answers
than actual answers, but I hope people get the gist.
Please, this is getting ridiculous. I shall ignore that on this thread,
and still hope for some genuine contributions to the serious matters
behind it.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
