[isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks
makarius at sketis.net
Tue Apr 2 12:17:07 CEST 2013
On Tue, 2 Apr 2013, David Greenaway wrote:
> I would appreciate it if an Isabelle expert could review that patch and,
> if acceptable, apply it to mainline. (This can be easily done with "hg
> import <patch-file>").
before you send more patches, can you please go back to the very start of
the mail thread from last time, which contains a lot of hints how things
are done, including pointers to the documentation.
I am not going to spend such an amount of time again, especially when it
looks like it is being wasted.
More information about the isabelle-dev