[isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks

[Makarius]

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