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

Makarius 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 
behind it.


More information about the isabelle-dev mailing list