[isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks
makarius at sketis.net
Thu Apr 4 14:54:27 CEST 2013
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
More information about the isabelle-dev