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

[Makarius]

On Fri, 5 Apr 2013, David Greenaway wrote:

> What practical things could such volunteers do that you would find 
> helpful?

So how about maintaining Proof General, seriously, no-nonse?


And there are other unmaintained parts, such as WWW_Find.  (Note that 
several other people have worked there in the meantime, and they should be 
included in the discussion, to benefit from the experience gained from 
certain find_theorems experiements that never hit the repository so far.)


 	Makarius